Back to Search
Start Over
THE -PRIKRY CONDITION.
- Source :
- Reports on Mathematical Logic; 2018, Issue 53, p111-142, 32p
- Publication Year :
- 2018
-
Abstract
- In this paper we isolate a property for forcing notions, the *-Prikry condition, that is similar to the Prikry con- dition but that is topological: A forcing P satisfies it iff for every p ∈ P and for every open dense D ⊆ P, there are n ∈ ω and q ≤∗ p such that for any r ≤ q with l(r) = l(q) + n, r ∈ D, for some length notion l. This is implicit in many proofs in literature. We prove this for the tree Prikry forcing and the long extender Prikry forcing. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISSN :
- 01372904
- Issue :
- 53
- Database :
- Complementary Index
- Journal :
- Reports on Mathematical Logic
- Publication Type :
- Academic Journal
- Accession number :
- 132544439
- Full Text :
- https://doi.org/10.4467/20842589RM.18.007.8840