S-forcing, I. A “black-box” theorem for morasses, with applications to super-Souslin trees
We formulate, for regular μ>ω, a “forcing principle” Sμ which we show is equivalent to the existence of morasses, thus providing a new and systematic method for obtaining applications of morasses. Various examples are given, notably that for infinitek, if 2 k =k + and there exists a (k +, 1)-morass, then there exists ak ++-super-Souslin tree: a normalk ++ tree characterized by a highly absolute “positive” property, and which has ak ++-Souslin subtree. As a consequence we show that CH+SHℵ 2⟹ℵ2 is (inaccessible)L.
KeywordsInitial Segment Restriction Property Amalgamation Property Elementary Embedding Infinite Cardinal
Unable to display preview. Download preview PDF.
- 1.J. P. Burgess,Infinitary Languages and Descriptive Set Theory, Ph.D. Thesis, University of California, Berkeley, 1974.Google Scholar
- 4.K. Devlin, to appear.Google Scholar
- 6.T. Jech,A game theoretic property of Boolean algebras, inLogic Colloquium '77 (A. MacIntyre, L. Pacholski and J. Paris, eds.), North Holland, 1978, pp. 135–144.Google Scholar
- 10.S. Shelah,Models with second-order properties IV:A general method and eliminating diamonds, to appear.Google Scholar
- 12.L. Stanley,A Short Course on Gap-1 Morasses with a Review of the Fine Structure of L, Proceedings of the Cambridge Summer School in Set Theory, to appear.Google Scholar
- 13.L. Stanley,Large cardinals and morasses, to appear.Google Scholar
- 14.D. Velleman, Ph.D. Thesis, University of Wisconsin, Madison, 1980.Google Scholar