Closed maximality principles: implications, separations and combinations

DOI10.2178/jsl/1208358754zbMath1157.03027MaRDI QIDQ5387313

Gunter Fuchs

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

zbMATH Keywords

forcing axioms; maximality principles

Mathematics Subject Classification ID

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