An extension of a theorem of Zermelo

DOI10.1017/BSL.2019.15zbMATH Open1477.03226arXiv1808.08621OpenAlexW3100428008MaRDI QIDQ5226595FDOQ5226595

Authors: Jouko Väänänen 

Publication date: 1 August 2019

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

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.

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

Recommendations

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

zbMATH Keywords

categoricitysecond-order logicZermelo

Mathematics Subject Classification ID

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

Cites Work

• Second Order Logic or Set Theory?
• Title not available (Why is that?)

Cited In (9)

• Title not available (Why is that?)
• BI-INTERPRETATION IN WEAK SET THEORIES
• Title not available (Why is that?)
• Extensionality in Zermelo‐Fraenkel Set Theory
• Title not available (Why is that?)
• A remark on Zilber's pseudoexponentiation
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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)