Closed maximality principles: implications, separations and combinations
From MaRDI portal
Publication:5387313
DOI10.2178/jsl/1208358754zbMath1157.03027MaRDI QIDQ5387313
Publication date: 8 May 2008
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://projecteuclid.org/euclid.jsl/1208358754
03E35: Consistency and independence results
03E45: Inner models, including constructibility, ordinal definability, and core models
03E55: Large cardinals
03E40: Other aspects of forcing and Boolean-valued models
Related Items
PERFECT SUBSETS OF GENERALIZED BAIRE SPACES AND LONG GAMES, HIERARCHIES OF (VIRTUAL) RESURRECTION AXIOMS, SUBCOMPLETE FORCING, TREES, AND GENERIC ABSOLUTENESS, COMBINING RESURRECTION AND MAXIMALITY, Subcomplete forcing principles and definable well‐orders, The modal logic of abelian groups, Iteratively changing the heights of automorphism towers, Structural connections between a forcing class and its modal logic, Generic embeddings associated to an indestructibly weakly compact cardinal, Generalizations of the Kunen inconsistency, Closed maximality principles and generalized Baire spaces, Set-theoretic geology, -definability at uncountable regular cardinals
Cites Work
- Unnamed Item
- Set theory. An introduction to independence proofs
- Making the supercompactness of \(\nu\) indestructible under \(\nu\)-directed closed forcing
- The Souslin problem
- Changing the heights of automorphism towers
- The maximality of the core model
- Extensions with the approximation and cover properties have no new large cardinals
- The Necessary Maximality Principle for c. c. c. forcing is equiconsistent with a weakly compact cardinal