The theory of transfinite recursion

DOI10.1090/S0002-9904-1961-10696-4zbMATH Open0103.24604MaRDI QIDQ3287243FDOQ3287243

Authors:

Publication date: 1961

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

zbMATH Keywords

logics, foundations, philosophy

Cites Work

• Title not available (Why is that?)
• 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)