BI-INTERPRETATION IN WEAK SET THEORIES

DOI10.1017/JSL.2020.72OpenAlexW3095143979MaRDI QIDQ5159491

Joel David Hamkins, Alfredo Roque Freire

Publication date: 27 October 2021

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

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

zbMATH Keywords

tightnessbi-interpretationmodel theory of set theorymutual interpretation

Mathematics Subject Classification ID

Set theory (03Exx)

Related Items (2)

Reflection principles and second-order choice principles with urelements ⋮ Reflection in second-order set theory with abundant urelements bi-interprets a supercompact cardinal

Uses Software

• MathOverflow

Cites Work

• Unnamed Item
• Unnamed Item
• Inner models with large cardinal features usually obtained by forcing
• A natural model of the multiverse axioms
• Certain very large cardinals are not created in small forcing extensions
• Set-theoretic geology
• Slim models of Zermelo set theory
• What is the theory without power set?
• THE SET-THEORETIC MULTIVERSE
• Long projective wellorderings
• Toward model theory through recursive saturation
• Variations on a Visserian Theme
• AN EXTENSION OF A THEOREM OF ZERMELO

This page was built for publication: BI-INTERPRETATION IN WEAK SET THEORIES