Mathias-Prikry and Laver-Prikry type forcing
DOI10.1016/J.APAL.2013.11.003zbMATH Open1306.03023OpenAlexW2088916361MaRDI QIDQ386153FDOQ386153
Authors: Michael Hrušák, Hiroaki Minami 
Publication date: 16 December 2013
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.apal.2013.11.003
Recommendations
- Martin's Maximum and the \(\mathbb{P}_{\max}\) Axiom \((*)\)
- Mathias-Prikry and Laver type forcing; summable ideals, coideals, and \(+\)-selective filters
- Universal forcing notions and ideals
- Adding ultrafilters by definable quotients
- Strolling through paradise
- Iterated forcing and normal ideals on \(\omega _ 1\)
- Combinatorics of filters and ideals
- Characterizing existence of certain ultrafilters
- Distributive proper forcing axiom and cardinal invariants
- Ultrafilters on ω
Other combinatorial set theory (03E05) Other aspects of forcing and Boolean-valued models (03E40) Cardinal characteristics of the continuum (03E17) Continuum hypothesis and Martin's axiom (03E50)
Cites Work
- Title not available (Why is that?)
- Ultrafilters on 𝜔-their ideals and their cardinal characteristics
- Mathias Forcing which does not Add Dominating Reals
- Countable Fréchet Boolean groups: An independence result
- Canjar filters
- Adding ultrafilters by definable quotients
- Combinatorics of filters and ideals
- Mad families, splitting families and large continuum
- Cardinal Invariants of Analytic P-Ideals
- Van Douwen's diagram for dense sets of rationals
- Adjoining dominating functions
- Mob families and mad families
- A model with no strongly separable almost disjoint families
- Two cardinal invariants of the continuum \(({\mathfrak d} <{\mathfrak a})\) and FS linearly ordered iterated forcing
- Ultrafilters with small generating sets
- Distinguishing groupwise density numbers
- Regular subalgebras of complete Boolean algebras
- On strong \(P\)-points
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (27)
- Cardinal coefficients associated to certain orders on ideals
- A simple \(P_{\aleph_1}\)-point and a simple \(P_{\aleph_2}\)-point
- The Baire category of subsequences and permutations which preserve limit points
- A variant of Mathias forcing that preserves \(\mathsf{ACA}_0\)
- Mathias-Prikry and Laver type forcing; summable ideals, coideals, and \(+\)-selective filters
- Mathias forcing and ultrafilters
- Towers in filters, cardinal invariants, and Luzin type families
- A playful approach to Silver and Mathias forcings
- Prikry forcing and tree Prikry forcing of various filters
- Mathias and silver forcing parametrized by density
- The ultrafilter and almost disjointness numbers
- On strong \(P\)-points
- Refining systems of mad families
- Towers, mad families, and unboundedness
- Prikry-type forcing and the set of possible cofinalities
- Katětov order on Borel ideals
- Indestructibility of ideals and MAD families
- Forcing an \(\omega_1\)-real without adding a real
- Forcing and the Omitting Types Theorem For Lt
- Ideals and their generic ultrafilters
- Filter-Laver measurability
- Mathias forcing and combinatorial covering properties of filters
- Menger remainders of topological groups
- WAYS OF DESTRUCTION
- Katětov order on \(\mathsf{MAD}\) families
- Combinatorics on ideals and forcing with trees
- Forcing, downward Löwenheim-Skolem and omitting types theorems, institutionally
This page was built for publication: Mathias-Prikry and Laver-Prikry type forcing
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q386153)
