Zermelo: definiteness and the universe of definable sets

DOI10.1080/0144534031000124134zbMath1043.03002OpenAlexW1988354173WikidataQ58531921 ScholiaQ58531921MaRDI QIDQ4470280

Heinz-Dieter Ebbinghaus

Publication date: 22 June 2004

Published in: History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/0144534031000124134

zbMATH Keywords

ZermelodefinitenessCantorian universecategorically definable sets

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Axiomatics of classical set theory and its fragments (03E30)

Related Items (6)

Zermelo and Set Theory ⋮ FREGE MEETS ZERMELO: A PERSPECTIVE ON INEFFABILITY AND REFLECTION ⋮ Zermelo and Set Theory ⋮ Zermelo's Analysis of ‘General Proposition’ ⋮ Zermelo: Boundary numbers and domains of sets continued ⋮ THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC

Cites Work

• Unnamed Item
• Unnamed Item
• In memoriam Kurt Gödel: His 1931 correspondence with Zermelo on his incompletability theorem
• Completing the Gödel-Zermelo correspondence
• Zermelo, reductionism, and the philosophy of mathematics
• Beyond first-order logic: the historical interplay between mathematical logic and axiomatic set theory
• Zermelo and the Skolem Paradox
• Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic
• Completeness and Categoricity, Part II: Twentieth-Century Metalogic to Twenty-first-Century Semantics

This page was built for publication: Zermelo: definiteness and the universe of definable sets