Number theoretic concepts and recursive well-orderings
From MaRDI portal
Publication:5337196
DOI10.1007/BF01977642zbMath0129.00402MaRDI QIDQ5337196
J. R. Shoenfield, Hao Wang, Georg Kreisel
Publication date: 1961
Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/137752
Related Items
A note on many·one reducibility, Extensions of the constructive ordinals, On many-one degrees, On the completeness of some transfinite recursive progressions of axiomatic theories, Transfinite recursive progressions of axiomatic theories, Well-foundedness in realizability, Arithmetic transfinite induction and recursive well-orderings, Borel ideals vs. Borel sets of countable relations and trees, Simple structures with complex symmetry, The use of lists in the study of undecidable problems in automata theory, Degrees of categoricity of computable structures, From index sets to randomness in ∅n: random reals and possibly infinite computations part II, Optimal bounds for ordinal comparison maps, Implicational complexity in intuitionistic arithmetic
Cites Work