Constructive Versions of Ordinal Number Classes

DOI10.2307/1993323zbMath0100.01201OpenAlexW4248680983MaRDI QIDQ3281066

Donald L. Kreider, Hartley jun. Rogers

Publication date: 1961

Full work available at URL: https://doi.org/10.2307/1993323

zbMATH Keywords

philosophy and foundations of mathematics

Related Items (7)

The Forcing Method and the Upper Semilattice of Hyperdegrees ⋮ On Minimal and Almost-Minimal Systems of Notations ⋮ Hierarchies in Recursive Function Theory ⋮ Hyperarithmetical Sets ⋮ On Hierarchies and Systems of Notations ⋮ On a class of recursive hierarchies ⋮ Constructive transfinite number classes

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Axiom schemata of strong infinity in axiomatic set theory
• Abstract set theory
• The upper semi-lattice of degrees of recursive unsolvability
• Arithmetical Predicates and Function Quantifiers
• Hierarchies of number-theoretic predicates
• Recursive well-orderings
• A Note on Function Quantification
• Ordinal Numbers and Predicative Set Theory
• Recursive Functions Over Well Ordered Partial Orderings
• The constructive second number class
• On notation for ordinal numbers
• Consistency of the Continuum Hypothesis. (AM-3)

This page was built for publication: Constructive Versions of Ordinal Number Classes