Zermelo in the mirror of the Baer correspondence, 1930--1931.

DOI10.1016/j.hm.2003.08.002zbMath1102.01019OpenAlexW2076909053MaRDI QIDQ1427539

Heinz-Dieter Ebbinghaus

Publication date: 14 March 2004

Published in: Historia Mathematica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.hm.2003.08.002

zbMATH Keywords

ZermeloBaerSkolem's paradoxFirst incompleteness theoremModels of set theory

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03)

Cites Work

• 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's Cantorian Theory of Systems of Infinitely Long Propositions
• Zermelo and the Skolem Paradox
• Reinhold Baer

This page was built for publication: Zermelo in the mirror of the Baer correspondence, 1930--1931.