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
|