@article{a68a4a55-dc34-4a9d-ad39-55411a90e2da,
author = {Vincenzo Dimonte},
title = {The *-Prikry condition},
journal = {Reports on Mathematical Logic},
volume = {2018},
number = {Number 53},
year = {2018},
issn = {0137-2904},
pages = {111-142},keywords = {Prikry forcing},
abstract = {In this paper we isolate a property for forcing notions, the *-Prikry condition, that is similar to the Prikry condition but that is topological: A forcing P satisfies it iff for every p ∈Pand 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.},
doi = {10.4467/20842589RM.18.007.8840},
url = {https://ejournals.eu/en/journal/reports-on-mathematical-logic/article/the-prikry-condition}
}