AN EXTENSION OF A THEOREM OF ZERMELO

DOI10.1017/bsl.2019.15zbMath1477.03226arXiv1808.08621OpenAlexW3100428008MaRDI QIDQ5226595

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

Zermelosecond-order logiccategoricity

Mathematics Subject Classification ID

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

Related Items (1)

BI-INTERPRETATION IN WEAK SET THEORIES

Cites Work

• Second Order Logic or Set Theory?
• Unnamed Item

This page was built for publication: AN EXTENSION OF A THEOREM OF ZERMELO