The constructive second number class

DOI10.1090/S0002-9904-1938-06720-1MaRDI QIDQ5769518zbMATH OpenFDO

Authors Alonzo Church

Publication date 1938

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

Full work available at URL https://doi.org/10.1090/S0002-9904-1938-06720-1

zbMATH Keywords

Foundations, philosophy, logic

Cited in

(20)

• Efficient linear orders
• Recursion theoretic models of learning: Some results and intuitions
• Computable linear orders and limitwise monotonic functions
• Limitwise monotonic functions relative to the Kleene's ordinal notation system
• Zur Theorie der konstruktiven Wohlordnungen
• Type-theoretic approaches to ordinals
• On elementary theories of ordinal notation systems based on reflection principles
• Hierarchies of number-theoretic predicates
• Constructive Versions of Ordinal Number Classes
• The Role of True Finiteness in the Admissible Recursively Enumerable Degrees
• On automorphisms of arbitrary mathematical systems
• Kalmár's argument against the plausibility of Church's thesis
• THE THEORY OF THE METARECURSIVELY ENUMERABLE DEGREES
• On the notational independence of various hierarchies of degrees of unsolvability
• On Hierarchies and Systems of Notations
• Computability and Recursion
• On notation for ordinal numbers
• The formalization of mathematics
• Recursive Predicates and Quantifiers
• An open formalism against incompleteness

This page was built for publication: The constructive second number class

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