Closed maximality principles: implications, separations and combinations
From MaRDI portal
Publication:5387313
DOI10.2178/jsl/1208358754zbMath1157.03027OpenAlexW2028921653MaRDI 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
Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) Other aspects of forcing and Boolean-valued models (03E40)
Related Items (13)
-definability at uncountable regular cardinals ⋮ The modal logic of abelian groups ⋮ Subcomplete forcing principles and definable well‐orders ⋮ PERFECT SUBSETS OF GENERALIZED BAIRE SPACES AND LONG GAMES ⋮ Iteratively changing the heights of automorphism towers ⋮ Generic embeddings associated to an indestructibly weakly compact cardinal ⋮ HIERARCHIES OF (VIRTUAL) RESURRECTION AXIOMS ⋮ Structural connections between a forcing class and its modal logic ⋮ Generalizations of the Kunen inconsistency ⋮ SUBCOMPLETE FORCING, TREES, AND GENERIC ABSOLUTENESS ⋮ Set-theoretic geology ⋮ Closed maximality principles and generalized Baire spaces ⋮ COMBINING RESURRECTION AND MAXIMALITY
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
This page was built for publication: Closed maximality principles: implications, separations and combinations