Martin's maximum, saturated ideals, and nonregular ultrafilters. I

DOI10.2307/1971415zbMATH Open0645.03028OpenAlexW2319297044WikidataQ56913161 ScholiaQ56913161MaRDI QIDQ1102944FDOQ1102944

Matthew Foreman, Menachem Magidor, S. Shelah

Publication date: 1988

Published in: Annals of Mathematics. Second Series (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/1971415

zbMATH Keywords

supercompact cardinalChang conjectureMartin's MaximumSemi-Proper Forcingstationarity preserving poset

Mathematics Subject Classification ID

Other combinatorial set theory (03E05) Consistency and independence results (03E35) Set-theoretic model theory (03C55) Continuum hypothesis and Martin's axiom (03E50)

Cited In (only showing first 100 items - show all)

• Realism, nonstandard set theory, and large cardinals
• Increasing u₂ by a stationary set preserving forcing
• An \(\aleph_1\)-dense ideal on \(\aleph_2\)
• Forcing axiom failure for any \(\lambda >\aleph_1\)
• Reflection principles, GCH and the uniformization properties
• Woodin’s axiom (*), or Martin’s Maximum, or both?
• ON RESURRECTION AXIOMS
• Semistationary and stationary reflection
• On the structure of stationary sets
• Non-regular ultrafilters
• Set theory and the analyst
• PFA and ideals on \(\omega_{2}\) whose associated forcings are proper
• Calculating quotient algebras of generic embeddings
• NEGATIVE RESULTS ON PRECIPITOUS IDEALS ON
• Small forcings and Cohen reals
• Forcing consequences of $PFA$ together with the continuum large
• Bounded Martin's maximum with an asterisk
• Canonical structure in the universe of set theory. I
• Rigid ideals
• Martin's maximum and definability in \(H(\aleph_2\))
• On the centeredness of saturated ideals
• Forcing Axioms, Supercompact Cardinals, Singular Cardinal Combinatorics
• HIERARCHIES OF FORCING AXIOMS, THE CONTINUUM HYPOTHESIS AND SQUARE PRINCIPLES
• HIERARCHIES OF (VIRTUAL) RESURRECTION AXIOMS
• Proof of a conjecture of Galvin
• Large ideals on small cardinals
• Rado's conjecture implies that all stationary set preserving forcings are semiproper
• Destructibility of stationary subsets ofPκλ
• The diagonal reflection principle
• Chang's conjecture and weak square
• Forcing notions in inner models
• On a convenient property about \([\gamma]^{\aleph_0}\)
• Iterated elementary embeddings and the model theory of infinitary logic
• The entire NS ideal on can be precipitous
• \(\text{PFA}(S)[S]\) for the masses
• Projecting precipitousness
• Chang's conjecture and semiproperness of nonreasonable posets
• Strong Chang’s Conjecture, Semi-Stationary Reflection, the Strong Tree Property and two-cardinal square principles
• Nowhere precipitousness of some ideals
• Strongly proper forcing and some problems of Foreman
• The non-compactness of square
• Bounded Martin's Maximum, weak Erdӧs cardinals, and ψ_Ac
• PFA and precipitousness of the nonstationary ideal
• Category forcings, \(\mathsf{MM}^{+++}\), and generic absoluteness for the theory of strong forcing axioms
• On skinny stationary subsets of
• Coding by club-sequences
• The failure of diamond on a reflecting stationary set
• Complete Quotient Boolean Algebras
• Can a small forcing create Kurepa trees
• Strongly Baire trees and a cofinal branch principle
• Club guessing sequences and filters
• Bounding the consistency strength of a five element linear basis
• Specializing trees and answer to a question of Williams
• SET FORCING AND STRONG CONDENSATION FORH(ω₂)
• The semi-weak square principle
• Fat sets and saturated ideals
• Incompatible bounded category forcing axioms
• The canonical function game
• More rigid ideals
• Preserving σ-ideals
• On the diameter of the Banach-Mazur set
• Sigma-Prikry forcing. III: Down to \(\aleph_{\omega}\)
• WEAK REFLECTION PRINCIPLE, SATURATION OF THE NONSTATIONARY IDEAL ON ω₁ AND DIAMONDS
• FORCING AXIOMS, APPROACHABILITY, AND STATIONARY SET REFLECTION
• Canonical fragments of the strong reflection principle
• Rado’s Conjecture and its Baire version
• ARONSZAJN TREE PRESERVATION AND BOUNDED FORCING AXIOMS
• Strong measure zero in separable metric spaces and Polish groups
• Local weak presaturation of the strongly non‐stationary ideal
• NAMBA FORCING, WEAK APPROXIMATION, AND GUESSING
• Subcomplete forcing principles and definable well‐orders
• How many real numbers are there?
• New combinatorial principle on singular cardinals and normal ideals
• Local Ramsey theory: an abstract approach
• The exact consistency strength of the generic absoluteness for the universally Baire sets
• Global Chang's conjecture and singular cardinals
• Forcing the mapping reflection principle by finite approximations
• ON ADOPTING KRIPKE SEMANTICS IN SET THEORY
• Corson reflections
• Increasing δ₂¹ and Namba-style forcing
• Forcing axioms and the complexity of non-stationary ideals
• More Ramsey theory for highly connected monochromatic subgraphs
• The \(\ast\)-variation of the Banach-Mazur game and forcing axioms
• What makes the continuum ℵ₂
• Strong downward Löwenheim-Skolem theorems for stationary logics. I
• Chang's conjecture, generic elementary embeddings and inner models for huge cardinals
• Forcing axioms via ground model interpretations
• Namba forcing and no good scale
• THE DIAGONAL STRONG REFLECTION PRINCIPLE AND ITS FRAGMENTS
• Salce's problem on cotorsion pairs is undecidable
• Woodin cardinals and presaturated ideals
• Some results on the nonstationary ideal
• Dense non-reflection for stationary collections of countable sets
• INTERNAL APPROACHABILITY AND REFLECTION
• Simplified RCS iterations
• Continuous tree-like scales
• Combinatorial Dichotomies in Set Theory
• Forcing axioms and stationary sets
• More on regular and decomposable ultrafilters in ZFC
• On the indestructibility aspects of identity crisis

This page was built for publication: Martin's maximum, saturated ideals, and nonregular ultrafilters. I

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