Zermelo and Set Theory

DOI10.2178/bsl/1102083759zbMath1098.03004OpenAlexW1984427300WikidataQ55892455 ScholiaQ55892455MaRDI QIDQ5717235

Akihiro Kanamori

Publication date: 12 January 2006

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

Full work available at URL: https://doi.org/10.2178/bsl/1102083759

zbMATH Keywords

ZermeloRussellinfinitary logicaxiom of choicecategoricityGödelGödel's incompleteness theoremSchröder-Bernstein theoremwell-ordering

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70) History of mathematical logic and foundations (03-03) Axiomatics of classical set theory and its fragments (03E30) Axiom of choice and related propositions (03E25)

Related Items (10)

Unordered pairs in the set theory of Bourbaki 1949 ⋮ A NOTE ON CHOICE PRINCIPLES IN SECOND-ORDER LOGIC ⋮ Hobson’s Conception of Definable Numbers ⋮ HUSSERL AND GÖDEL’S INCOMPLETENESS THEOREMS ⋮ Worlds and propositions set free ⋮ Explaining Maximality Through the Hyperuniverse Programme ⋮ The habilitation of John von Neumann at Friedrich-Wilhelms-Universität in Berlin: judgements on a Hungarian-Jewish mathematician in the Germany of 1927 ⋮ The Cantor–Bernstein theorem: how many proofs? ⋮ Structural relativity and informal rigour ⋮ NATURAL FORMALIZATION: DERIVING THE CANTOR-BERNSTEIN THEOREM IN ZF

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Gödel on Tarski
• Foundations of set theory
• Foundational studies. Selected works. Vol. I, II
• Zermelo's discovery of the Russell paradox
• Labyrinth of thought. A history of set theory and its role in modern mathematics
• Hilbert and set theory
• Zermelo, reductionism, and the philosophy of mathematics
• Constructing Cantorian counterexamples
• Hilbert on the infinite: The role of set theory in the evolution of Hilbert's thought
• Hilbert's paradox
• Abstract set theory
• Slim models of Zermelo set theory
• Undefinability of truth. the problem of priority:tarski vs gödel
• Developing arithmetic in set theory without infinity: some historical remarks
• Beyond first-order logic: the historical interplay between mathematical logic and axiomatic set theory
• Hilbert, Zermelo und die Institutionalisierung der mathematischen Logik in Deutschland
• Poincaré: Mathematics & Logic & Intuition†
• Zermelo: definiteness and the universe of definable sets
• The Richard Paradox
• Type reducing correspondences and well-orderings: Frege's and Zermelo's constructions re-examined
• Bemerkungen, das Fundierungsaxiom Betreffend
• Über Die Gültigkeit Des Fundierungsaxioms in Speziellen Systemen Der Mengentheorie
• The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis
• Consistency-Proof for the Generalized Continuum-Hypothesis
• Inner models for set theory—Part II
• Zermelo and the early history of game theory

This page was built for publication: Zermelo and Set Theory