On sequences generic in the sense of Prikry

A. R. D. Mathias

doi:10.1017/S1446788700028755

Extract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

I establish here a criterion for a sequence of ordinals to be generic over a transitive model of ZFC with respect to a notation of forcing first considered by Prikry in his Doctoral dissertation [2]. In Section 0 I review some notation, in Section 1 I list some facts about measurable cardinals, and in Section 2, after giving Prikry's result, I state and prove mine.

References

[1]Jensen, R. B., Modelle der Mengenlehre (Springer-Verlag, Lecture Notes Series, 1968).Google Scholar

[2]Prikry, K. L., Doctoral dissertation (Berkeley, 1968). Published as ‘Changing measurable into accessible cardinals’ in Dissertationes Math. (Rozprawy Mat.) 68 (1969).Google Scholar

[3]Solovay, R. M., ‘Real-valued measurable cardinals,’ in the Proceedings of the 1967 Summer Institute in Set Theory held at Los Angeles.Google Scholar

Crossref Citations

This article has been cited by the following publications. This list is generated based on data provided by Crossref.

Mathias, A.R.D. 1977. Happy families. Annals of Mathematical Logic, Vol. 12, Issue. 1, p. 59.

Mathias, A. R. D. 1979. Surrealist landscape with figures (a survey of recent results in set theory). Periodica Mathematica Hungarica, Vol. 10, Issue. 2-3, p. 109.

Dodd, A.J. and Jensen, R.B. 1982. The covering lemma for L[U]. Annals of Mathematical Logic, Vol. 22, Issue. 2, p. 127.

Gitik, Moti 1986. On precipitousness of the nonstationary ideal over a supercompact. Journal of Symbolic Logic, Vol. 51, Issue. 3, p. 648.

Mitchell, William 1987. Prikry forcing at κ+ and beyond. The Journal of Symbolic Logic, Vol. 52, Issue. 1, p. 44.

Shelah, Saharon and Woodin, Hugh 1990. Large cardinals imply that every reasonably definable set of reals is lebesgue measurable. Israel Journal of Mathematics, Vol. 70, Issue. 3, p. 381.

Apter, Arthur W. 1990. Successors of singular cardinals and measurability revisited. Journal of Symbolic Logic, Vol. 55, Issue. 2, p. 492.

Henle, J. M. 1990. Partition properties and Prikry forcing on simple spaces. Journal of Symbolic Logic, Vol. 55, Issue. 3, p. 938.

Sureson, Claude 1991. About Prikry generic extensions. Annals of Pure and Applied Logic, Vol. 51, Issue. 3, p. 247.

Kafkoulis, George 1994. The consistency strength of an infinitary Ramsey property. Journal of Symbolic Logic, Vol. 59, Issue. 4, p. 1158.

Apter, Arthur W. and Magidor, Menachem 1995. Instances of dependent choice and the measurability of ℵω + 1. Annals of Pure and Applied Logic, Vol. 74, Issue. 3, p. 203.

Hamkins, Joel David 1997. Canonical seeds and Prikry trees. Journal of Symbolic Logic, Vol. 62, Issue. 2, p. 373.

Farah, Ilijas 1998. Semiselective coideals. Mathematika, Vol. 45, Issue. 1, p. 79.

Cummings, James and Foreman, Matthew 1998. The Tree Property. Advances in Mathematics, Vol. 133, Issue. 1, p. 1.

Mathias, A. R. D. 2001. Slim models of Zermelo set theory. Journal of Symbolic Logic, Vol. 66, Issue. 2, p. 487.

Fuchs, Gunter 2005. A Characterization of Generalized Příkrý Sequences. Archive for Mathematical Logic, Vol. 44, Issue. 8, p. 935.

Sakai, Hiroshi 2005. Generalized Prikry forcing and iteration of generic ultrapowers. Mathematical Logic Quarterly, Vol. 51, Issue. 5, p. 507.

Feng, Qi 2009. A new characterization of supercompactness and applications. Annals of Pure and Applied Logic, Vol. 160, Issue. 2, p. 192.

Mitchell, William J. 2010. Handbook of Set Theory. p. 1449.

Gitik, Moti 2010. Handbook of Set Theory. p. 1351.

Download full list

Article contents

On sequences generic in the sense of Prikry

Extract

References

Save article to Kindle

Save article to Dropbox

Save article to Google Drive

Reply to: Submit a response

Your details

You have entered the maximum number of contributors

Conflicting interests