arXiv:1005.2802 [math.LO]AbstractReferencesReviewsResources
Preserving old ([omega]^{aleph_0},supseteq) is proper
Published 2010-05-17, updated 2013-12-24Version 2
We give some sufficient and necessary conditions on a forcing notion Q for preserving the forcing notion ([omega]^{aleph_0},supseteq) is proper. They cover many reasonable forcing notions.
Categories: math.LO
Related articles: Most relevant | Search more
Value Groups of Real Closed Fields and Fragments of Peano Arithmetic
Reals n-generic relative to some perfect tree
arXiv:2411.07792 [math.LO] (Published 2024-11-12)
Chains and antichains in the Weihrauch lattice