Mathias forcing

GPTKB entity

Statements (14)
Predicate Object
gptkbp:instanceOf set-theoretic forcing
gptkbp:hasConditionForm (s,A) where s is a finite subset of ω and A is an infinite subset of ω with max(s) < min(A)
https://www.w3.org/2000/01/rdf-schema#label Mathias forcing
gptkbp:introducedIn 1977
gptkbp:namedAfter Adrian R. D. Mathias
gptkbp:preserves cardinals
cofinalities
gptkbp:relatedTo gptkb:Ramsey_theory
ultrafilter
gptkbp:usedFor add a Ramsey ultrafilter
study combinatorial properties of the real line
gptkbp:usedIn gptkb:set_theory
gptkbp:bfsParent gptkb:Cohen's_forcing
gptkbp:bfsLayer 5