Pages that link to "Item:Q772783"
From MaRDI portal
The following pages link to On the recursive functions of ordinal numbers (Q772783):
Displaying 14 items.
- Ordinal machines and admissible recursion theory (Q1032634) (← links)
- The Role of True Finiteness in the Admissible Recursively Enumerable Degrees (Q3370614) (← links)
- <i>α</i>-degrees of <i>α</i>-theories (Q4091916) (← links)
- Minimal <i>α</i>-recursion theoretic degrees (Q4101806) (← links)
- On generalized computational complexity (Q4163200) (← links)
- Characterisations of variant transfinite computational models: Infinite time Turing, ordinal time Turing, and Blum–Shub–Smale machines (Q4995609) (← links)
- COMPUTABILITY AND UNCOUNTABLE LINEAR ORDERS I: COMPUTABLE CATEGORICITY (Q5251361) (← links)
- COMPUTABILITY AND UNCOUNTABLE LINEAR ORDERS II: DEGREE SPECTRA (Q5251362) (← links)
- THE THEORY OF THE METARECURSIVELY ENUMERABLE DEGREES (Q5485749) (← links)
- A formalization of the theory of ordinal numbers (Q5525369) (← links)
- ℵ<sub>0</sub>-Complete cardinals and transcendency of cardinals (Q5556413) (← links)
- Transcendence of cardinals (Q5586263) (← links)
- Nonaxiomatizability results for infinitary systems (Q5601465) (← links)
- Real-valued measurable cardinals and $\sum _1^1 $-transcendency of cardinals (Q5614649) (← links)
