The Mathematical Import of Zermelo's Well-Ordering Theorem

DOI10.2307/421146zbMath0903.03030OpenAlexW1997404494MaRDI QIDQ4372921

Akihiro Kanamori

Publication date: 28 January 1998

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

Full work available at URL: https://semanticscholar.org/paper/f35e9122e0ecb6f45a9f76bdd4dc54a54f1b764e

zbMATH Keywords

denotational semanticsRussell's paradoxinductive definitionstransfinite recursionZorn's LemmaCantor's diagonal proofSchröder-Bernstein TheoremZermelo's proofs of the well-ordering theorem

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) History of mathematics in the 19th century (01A55) Axiom of choice and related propositions (03E25)

Related Items

Primitive recursive analogues of regular cardinals based on ordinal representation systems for KPi and KPM ⋮ A covering lemma for \(K(\mathbb{R})\) ⋮ A NOTE ON CHOICE PRINCIPLES IN SECOND-ORDER LOGIC ⋮ Incompleteness Theorems, Large Cardinals, and Automata Over Finite Words ⋮ Incompleteness Theorems, Large Cardinals, and Automata over Finite Words ⋮ The Empty Set, The Singleton, and the Ordered Pair ⋮ Localizing the axioms ⋮ Generalizations of the Kunen inconsistency ⋮ Bi-inductive structural semantics ⋮ Closed structure ⋮ Some problems in automata theory which depend on the models of set theory ⋮ An upper bound on the complexity of recognizable tree languages ⋮ IN GOOD COMPANY? ON HUME’S PRINCIPLE AND THE ASSIGNMENT OF NUMBERS TO INFINITE CONCEPTS ⋮ DEDUCTIVE CARDINALITY RESULTS AND NUISANCE-LIKE PRINCIPLES

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Zermelo's discovery of the Russell paradox
• Burali-Forti's paradox: A reappraisal of its origins
• The origin of Zorn's lemma
• How Bertrand Russell discovered his paradox
• Hilbert and set theory
• Constructing Cantorian counterexamples
• Eine direkte Ableitung des Zornschen Lemmas aus dem Auswahlaxiom
• Sur le théorème de Zorn
• A lattice-theoretical fixpoint theorem and its applications
• ‘ich habe mich wohl gehütet, alle patronen auf einmal zu verschießen’. ernst zermelo in göttingen
• Zur Axiomatik der Mengenlehre (Fundierungs‐ und Auswahlaxiom)
• Type reducing correspondences and well-orderings: Frege's and Zermelo's constructions re-examined
• Georg Cantor and Transcendental Numbers
• A remark on method in transfinite algebra
• The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis
• On notation for ordinal numbers
• A system of axiomatic set theory - Part VII