The theory of transfinite recursion

DOI10.1090/S0002-9904-1961-10696-4zbMath0103.24604MaRDI QIDQ3287243

No author found.

Publication date: 1961

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

zbMATH Keywords

logics, foundations, philosophy

Related Items

Nonaxiomatizability results for infinitary systems ⋮ Ordinal machines and admissible recursion theory ⋮ Characterisations of variant transfinite computational models: Infinite time Turing, ordinal time Turing, and Blum–Shub–Smale machines

Cites Work

• Unnamed Item
• The sentential calculus with infinitely long expressions
• Remarks on predicate logic with infinitely long expressions
• Consistency of the Continuum Hypothesis. (AM-3)