On the recursive functions of ordinal numbers

DOI10.2969/jmsj/01220119zbMath0095.01101OpenAlexW1990063332MaRDI QIDQ772783

Gaisi Takeuti

Publication date: 1960

Published in: Journal of the Mathematical Society of Japan (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2969/jmsj/01220119

zbMATH Keywords

philosophy and foundations of mathematics

Related Items

ℵ₀-Complete cardinals and transcendency of cardinals ⋮ Transcendence of cardinals ⋮ Nonaxiomatizability results for infinitary systems ⋮ Real-valued measurable cardinals and $\sum _1^1 $-transcendency of cardinals ⋮ α-degrees of α-theories ⋮ Minimal α-recursion theoretic degrees ⋮ On generalized computational complexity ⋮ The Role of True Finiteness in the Admissible Recursively Enumerable Degrees ⋮ THE THEORY OF THE METARECURSIVELY ENUMERABLE DEGREES ⋮ Ordinal machines and admissible recursion theory ⋮ Characterisations of variant transfinite computational models: Infinite time Turing, ordinal time Turing, and Blum–Shub–Smale machines ⋮ COMPUTABILITY AND UNCOUNTABLE LINEAR ORDERS I: COMPUTABLE CATEGORICITY ⋮ COMPUTABILITY AND UNCOUNTABLE LINEAR ORDERS II: DEGREE SPECTRA ⋮ A formalization of the theory of ordinal numbers