Constructive Versions of Ordinal Number Classes

DOI10.2307/1993323MaRDI QIDQ3281066zbMATH OpenOpenAlexFDO

Authors 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

Cites work

• scientific article; zbMATH DE number 3024905 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• scientific article; zbMATH DE number 3110307 (Why is no real title available?)
• A Note on Function Quantification
• Abstract set theory
• Arithmetical Predicates and Function Quantifiers
• Axiom schemata of strong infinity in axiomatic set theory
• Consistency of the Continuum Hypothesis. (AM-3)
• Hierarchies of number-theoretic predicates
• On notation for ordinal numbers
• Ordinal Numbers and Predicative Set Theory
• Recursive Functions Over Well Ordered Partial Orderings
• Recursive well-orderings
• The constructive second number class
• The upper semi-lattice of degrees of recursive unsolvability

Cited in

(7)

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

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

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