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
THE THEORY OF THE METARECURSIVELY ENUMERABLE DEGREES, On the notational independence of various hierarchies of degrees of unsolvability, Computability and Recursion, On Hierarchies and Systems of Notations, An open formalism against incompleteness, On notation for ordinal numbers, The formalization of mathematics, Recursive Predicates and Quantifiers, Efficient linear orders, Recursion theoretic models of learning: Some results and intuitions, Zur Theorie der konstruktiven Wohlordnungen, Hierarchies of number-theoretic predicates, The Role of True Finiteness in the Admissible Recursively Enumerable Degrees, Constructive Versions of Ordinal Number Classes, On automorphisms of arbitrary mathematical systems