Mathias forcing and ultrafilters

DOI10.1007/S00153-016-0499-2MaRDI QIDQ334983zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Janusz Pawlikowski, Wojciech Stadnicki

Publication date 1 November 2016

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/s00153-016-0499-2

zbMATH Keywords

Laver propertyMathias forcingRamsey ultrafilter

Mathematics Subject Classification ID

Other combinatorial set theory (03E05) Consistency and independence results (03E35) Other aspects of forcing and Boolean-valued models (03E40)

Recommendations

• Mathias Forcing which does not Add Dominating Reals
• Mathias-Prikry and Laver-Prikry type forcing
• A notion of selective ultrafilter corresponding to topological Ramsey spaces
• Mathias-Prikry and Laver type forcing; summable ideals, coideals, and \(+\)-selective filters
• Mathias forcing and combinatorial covering properties of filters

Cites work

• The distributivity numbers of $\mathcal {P}(\omega )$/fin and its square

Cited in

(12)

• Forcing and stable ordered–union ultrafilters
• A forcing notion related to Hindman's theorem
• Mathias-Prikry and Laver type forcing; summable ideals, coideals, and \(+\)-selective filters
• Mathias Forcing which does not Add Dominating Reals
• ON IDEMPOTENT ULTRAFILTERS IN HIGHER-ORDER REVERSE MATHEMATICS
• P-filters and Cohen, random, and Laver forcing
• On measures induced by forcing names for ultrafilters
• On strong \(P\)-points
• Playing with Mathias
• Genericity for Mathias forcing over general Turing ideals
• Hindman's theorem, ultrafilters, and reverse mathematics
• Ultrafilters Throughout Mathematics

This page was built for publication: Mathias forcing and ultrafilters

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