Closed maximality principles: implications, separations and combinations

DOI10.2178/JSL/1208358754MaRDI QIDQ5387313zbMATH OpenOpenAlexFDO

Authors 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, http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.182.3547

zbMATH Keywords

forcing axiomsmaximality principles

Mathematics Subject Classification ID

Consistency and independence results (03E35) Other aspects of forcing and Boolean-valued models (03E40) Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55)

Recommendations

• Combined Maximality Principles up to large cardinals
• Combining resurrection and maximality
• On a class of maximality principles
• A simple maximality principle
• On Foreman's maximality principle

Cites work

• Changing the heights of automorphism towers
• Extensions with the approximation and cover properties have no new large cardinals
• Indestructible weakly compact cardinals and the necessity of supercompactness for certain proof schemata
• Making the supercompactness of \(\nu\) indestructible under \(\nu\)-directed closed forcing
• Set theory. An introduction to independence proofs
• The maximality of the core model
• The Necessary Maximality Principle for c. c. c. forcing is equiconsistent with a weakly compact cardinal
• The Souslin problem

Cited in

(18)

• On a class of maximality principles
• Closed maximality principles and generalized Baire spaces
• Set-theoretic geology
• \(\Sigma ^{1}_{1}\)-definability at uncountable regular cardinals
• On Foreman's maximality principle
• Combined Maximality Principles up to large cardinals
• Iteratively changing the heights of automorphism towers
• Perfect subsets of generalized Baire spaces and long games
• Hierarchies of (virtual) resurrection axioms
• Subcomplete forcing, trees, and generic absoluteness
• Structural connections between a forcing class and its modal logic
• Combining resurrection and maximality
• Subcomplete forcing principles and definable well-orders
• Square principles in \(\mathbb{P}_{\max}\) extensions
• The modal logic of abelian groups
• Generic embeddings associated to an indestructibly weakly compact cardinal
• Bounded forcing axioms and weak genericity
• Generalizations of the Kunen inconsistency

This page was built for publication: Closed maximality principles: implications, separations and combinations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5387313)