The theory of transfinite recursion

DOI10.1090/S0002-9904-1961-10696-4MaRDI QIDQ3287243zbMATH OpenFDO

Authors

Publication date 1961

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

zbMATH Keywords

logics, foundations, philosophy

Cites work

• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• Consistency of the Continuum Hypothesis. (AM-3)
• Remarks on predicate logic with infinitely long expressions
• The sentential calculus with infinitely long expressions

Cited in

(3)

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

This page was built for publication: The theory of transfinite recursion

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3287243)