Abstract
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 2k=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.
Similar content being viewed by others
References
J. P. Burgess,Infinitary Languages and Descriptive Set Theory, Ph.D. Thesis, University of California, Berkeley, 1974.
J. P. Burgess,Consistency proofs in model theory, a contribution to Jensenlehre, Ann. Math. Logic14 (1978), 1–12.
K. Devlin,Aspects of Constructibility, Lecture Notes in Math.354, Springer-Verlag, Berlin, 1973.
K. Devlin, to appear.
J. Gregory,Higher Souslin trees, J. Symb. Logic41 (1976), 663–671.
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.
R. B. Jensen,The fine structure of the constructible hierarchy, Ann. Math. Logic4 (1972), 229–308.
R. Laver,Making the supercompactness of k indestructible under k-directed closed forcing, Isr. J. Math.29 (1978), 385–388.
R. Laver and S. Shelah,The ℵ 2-Souslin-Hypothesis Trans. Am. Math. Soc.264 (1981), 411–418.
S. Shelah,Models with second-order properties IV:A general method and eliminating diamonds, to appear.
S. Shelah and L. Stanley,Generalized Martin's Axiom and Souslin's Hypothesis for higher cardinals, Isr. J. Math.43 (1982), 225–236.
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.
L. Stanley,Large cardinals and morasses, to appear.
D. Velleman, Ph.D. Thesis, University of Wisconsin, Madison, 1980.
Author information
Authors and Affiliations
Additional information
This author thanks the US-Israel Binational Science Foundation for partial support of this research.
Rights and permissions
About this article
Cite this article
Shelah, S., Stanley, L. S-forcing, I. A “black-box” theorem for morasses, with applications to super-Souslin trees. Israel J. Math. 43, 185–224 (1982). https://doi.org/10.1007/BF02761942
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02761942