Statements (16)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb: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)
|
| gptkbp:introducedIn |
1977
|
| gptkbp:namedAfter |
Adrian R. D. Mathias
|
| gptkbp:preserves |
cardinals
cofinalities |
| gptkbp:relatedTo |
gptkb:Ramsey_theory
gptkb:ultrafilter |
| gptkbp:usedFor |
add a Ramsey ultrafilter
study combinatorial properties of the real line |
| gptkbp:usedIn |
gptkb:set_theory
|
| gptkbp:bfsParent |
gptkb:Laver_forcing
gptkb:Cohen's_forcing gptkb:forcing_(set_theory) |
| gptkbp:bfsLayer |
8
|
| https://www.w3.org/2000/01/rdf-schema#label |
Mathias forcing
|