An extension of a theorem of Zermelo

DOI10.1017/BSL.2019.15MaRDI QIDQ5226595zbMATH OpenOpenAlexFDO

Authors Jouko Väänänen

Publication date 1 August 2019

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

Full work available at URL https://arxiv.org/abs/1808.08621

zbMATH Keywords

categoricitysecond-order logicZermelo

Mathematics Subject Classification ID

Categoricity and completeness of theories (03C35) Nonclassical and second-order set theories (03E70)

Abstract: We show that if (M,E,E') satisfies the first order Zermelo-Fraenkel axioms of set theory when the membership relation is E and also when the membership relation is E', and in both cases the formulas are allowed to contain both E and E', then (M,E) and (M,E') are isomorphic, and the isomorphism is definable in (M,E,E'). This extends Zermelo's 1930 theorem about second order ZFC.

Recommendations

• scientific article; zbMATH DE number 4002086
• scientific article; zbMATH DE number 3316895
• Extensionality in Zermelo‐Fraenkel Set Theory
• scientific article; zbMATH DE number 60836
• scientific article; zbMATH DE number 3861145

Cites work

• Logic, methodology and philosophy of science. Proceedings of the 15th international congress, Helsinki, Finland, August 3--8, 2015
• Second order logic or set theory?

Cited in

(9)

• scientific article; zbMATH DE number 3316895 (Why is no real title available?)
• scientific article; zbMATH DE number 4208452 (Why is no real title available?)
• scientific article; zbMATH DE number 427783 (Why is no real title available?)
• scientific article; zbMATH DE number 3953360 (Why is no real title available?)
• BI-INTERPRETATION IN WEAK SET THEORIES
• scientific article; zbMATH DE number 4191619 (Why is no real title available?)
• Extensionality in Zermelo‐Fraenkel Set Theory
• A remark on Zilber's pseudoexponentiation
• scientific article; zbMATH DE number 1870505 (Why is no real title available?)

This page was built for publication: An extension of a theorem of Zermelo

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