Natural well-orderings

DOI10.2307/2270263zbMath0278.02030OpenAlexW2094388474MaRDI QIDQ4405144

David Isles

Publication date: 1971

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Large cardinals (03E55) Recursive ordinals and ordinal notations (03F15) Hierarchies of computability and definability (03D55)

Related Items

Recursive categoricity and recursive stability, Natural well-orderings, … and so on: Schütte on Naming Ordinals

Cites Work

• Ordinal diagrams
• On ordinal diagrams
• Consistency proofs of subsystems of classical analysis
• A generalization of Mahlo's method for obtaining large cardinal numbers
• Konstruktiver Aufbau eines Abschnitts der zweiten Cantorschen Zahlenklasse
• Ein konstruktives system von Ordinalzahlen
• Ein Bezeichnungssystem für Ordinalzahlen