|
|||||
|
|
Forcing closed unbounded subsets of ω2 |
|
| Authors: | M C Stanley |
| Institution: | Department of Math and Computer Science, San Jose State University, San Jose, CA 95192-0103, USA |
| Abstract: | It is shown that there is no satisfactory first-order characterization of those subsets of ω2 that have closed unbounded subsets in ω1,ω2 and GCH preserving outer models. These “anticharacterization” results generalize to subsets of successors of uncountable regular cardinals. Similar results are proved for trees of height and cardinality κ+ and for partitions of κ+]2, when κ is an infinite cardinal. |
| Keywords: | Stationary set Closed unbounded set Tree Partition Forcing Class forcing Morass Coding the universe |
| 本文献已被 ScienceDirect 等数据库收录！ | |