Reflection in second-order set theory with abundant urelements bi-interprets a supercompact cardinal
From MaRDI portal
Publication:6642873
DOI10.1017/JSL.2022.87MaRDI QIDQ6642873
Publication date: 25 November 2024
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Large cardinals (03E55) Axiomatics of classical set theory and its fragments (03E30) Other set-theoretic hypotheses and axioms (03E65)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Partial near supercompactness
- Characterizations of the weakly compact ideal on \(P_\kappa\lambda\)
- On the role of supercompact and extendible cardinals in logic
- Reflection principles and second-order choice principles with urelements
- What is the theory ZFC without power set?
- Weakly measurable cardinals
- Pxδ‐Generalizations of Weak Compactness
- Independence results for class forms of the axiom of choice
- Strong axioms of infinity and elementary embeddings
- SUBCOMPACT CARDINALS, TYPE OMISSION, AND LADDER SYSTEMS
- BI-INTERPRETATION IN WEAK SET THEORIES
- Variations on a Visserian Theme
- Open determinacy for class games
- The Definability of Cardinal Numbers
- THE EXACT STRENGTH OF THE CLASS FORCING THEOREM
This page was built for publication: Reflection in second-order set theory with abundant urelements bi-interprets a supercompact cardinal
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6642873)
