Zermelo: definiteness and the universe of definable sets

DOI10.1080/0144534031000124134MaRDI QIDQ4470280zbMATH OpenOpenAlexWikidataFDO

Authors 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)

Recommendations

• Zermelo's Cantorian Theory of Systems of Infinitely Long Propositions
• Zermelo: Boundary numbers and domains of sets continued
• scientific article; zbMATH DE number 1254495
• Zermelo and the Skolem Paradox
• Zermelo, reductionism, and the philosophy of mathematics

Cites work

• scientific article; zbMATH DE number 3782930 (Why is no real title available?)
• scientific article; zbMATH DE number 873158 (Why is no real title available?)
• Beyond first-order logic: the historical interplay between mathematical logic and axiomatic set theory
• Completeness and Categoricity, Part II: Twentieth-Century Metalogic to Twenty-first-Century Semantics
• Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic
• Completing the Gödel-Zermelo correspondence
• In memoriam Kurt Gödel: His 1931 correspondence with Zermelo on his incompletability theorem
• Zermelo and the Skolem Paradox
• Zermelo, reductionism, and the philosophy of mathematics

Cited in

(9)

• Zermelo: Boundary numbers and domains of sets continued
• A theory of infinitary relations extending Zermelo's theory of infinitary propositions
• Zermelo, reductionism, and the philosophy of mathematics
• Frege meets Zermelo: a perspective on ineffability and reflection
• Zermelo's Analysis of ‘General Proposition’
• Zermelo and Set Theory
• Zermelo and Set Theory
• Maximality vs. extendability: reflections on structuralism and set theory
• The prehistory of the subsystems of second-order arithmetic

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

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