The constructive second number class
From MaRDI portal
Publication:5769518
DOI10.1090/S0002-9904-1938-06720-1zbMath0018.33803MaRDI QIDQ5769518
Publication date: 1938
Published in: Bulletin of the American Mathematical Society (Search for Journal in Brave)
Related Items
On elementary theories of ordinal notation systems based on reflection principles, On automorphisms of arbitrary mathematical systems, Recursive Predicates and Quantifiers, Zur Theorie der konstruktiven Wohlordnungen, Recursion theoretic models of learning: Some results and intuitions, Hierarchies of number-theoretic predicates, Type-theoretic approaches to ordinals, Computability and Recursion, On Hierarchies and Systems of Notations, An open formalism against incompleteness, Limitwise monotonic functions relative to the Kleene's ordinal notation system, Efficient linear orders, On notation for ordinal numbers, Computable linear orders and limitwise monotonic functions, Kalmár's Argument Against the Plausibility of Church's Thesis, The Role of True Finiteness in the Admissible Recursively Enumerable Degrees, THE THEORY OF THE METARECURSIVELY ENUMERABLE DEGREES, The formalization of mathematics, On the notational independence of various hierarchies of degrees of unsolvability, Constructive Versions of Ordinal Number Classes