| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 4659088 | Topology and its Applications | 2012 | 5 Pages |
Abstract
We present a method for obtaining a model of “ZFC+d=ω1 + there exists a strong-Q-sequence (called also uniformizable AD-system) of size ω1”. We are interested in such models since conjunction of these statements needs to hold in any model where P(ω)/fin≅P(ω1)/fin is possibly true.
Related Topics
Physical Sciences and Engineering
Mathematics
Geometry and Topology
