Article PDF
Avoid common mistakes on your manuscript.
References
L. Harrington and S. Shelah,Equi-consistency results, Proc. of the Jerusalem 1980/1 model theory year; Notre Dame J. Formal Logic, to appear.
H. J. Keisler,Logic with the quantifier, “There exists uncountably many”, Ann. Math. Logic1 (1970), 1–93.
M. Magidor and J. Malitz,Compact extensions of L(Q), Ia, Ann. Math. Logic11 (1977), 219–261.
S. Shelah,Models with second order properties II, On trees with no underfinable branches, Ann. Math. Logic14 (1978), 73–87.
S. Shelah,Appendix: Vaught two cardinal theorem revisited, Ann. Math. Logic14 (1978), 223–226.
S. Shelah,Uncountable constructions, Isr. J. Math., submitted.
R. M. Solovay,A model of set theory in which every set of reals is Lebesgue measurable, Ann. of Math. (2)92 (1970), 1–56.
Author information
Authors and Affiliations
Additional information
This work was partially supported by the NSF and the US-Israel Binational Science Foundation.
This paper appeared in 1980 as a preprint and was originally intended to appear in my book,Proper Forcing, Lecture Notes in Math., No. 940, Springer-Verlag, Berlin-Heidelberg-New York, 1982.
Rights and permissions
About this article
Cite this article
Shelah, S. Can you take Solovay’s inaccessible away?. Israel J. Math. 48, 1–47 (1984). https://doi.org/10.1007/BF02760522
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02760522