Hostname: page-component-8448b6f56d-42gr6 Total loading time: 0 Render date: 2024-04-24T23:15:16.148Z Has data issue: false hasContentIssue false

ON SEQUENCES GENERIC IN THE SENSE OF MAGIDOR

Published online by Cambridge University Press:  12 December 2014

GUNTER FUCHS*
Affiliation:
THE COLLEGE OF STATEN ISLAND OF THE CITY UNIVERSITY OF NEW YORK/THE CUNY GRADUATE CENTER STATEN ISLAND, NY 10314, USAE-mail: gunter.fuchs@csi.cuny.edu

Abstract

The main result of this paper is a combinatorial characterization of Magidor-generic sequences. Using this characterization, I show that the critical sequences of certain iterations are Magidor-generic over the target model. I then employ these results in order to analyze which other Magidor sequences exist in a Magidor extension. One result in this direction is that if we temporarily identify Magidor sequences with their ranges, then Magidor sequences are maximal, in the sense that they contain any other Magidor sequence that is present in their forcing extension, even if the other sequence is generic for a different Magidor forcing. A stronger result holds if both sequences come from the same forcing: I show that a Magidor sequence is almost unique in its forcing extension, in the sense that any other sequence generic for the same forcing which is present in the same forcing extension coincides with the original sequence at all but finitely many coordinates, and at all limit coordinates. Further, I ask the question: If d ε V[c], where c and d are Magidor-generic over V, then which Magidor forcing can d be generic for? It turns out that it must essentially be a collapsed version of the Magidor forcing for which c was generic. I treat several related questions as well. Finally, I introduce a special case of Magidor forcing which I call minimal Magidor forcing. This approach simplifies the forcing, and I prove that it doesn’t restrict the class of possible Magidor sequences. That is, if c is generic for a Magidor forcing over V, then it is generic for a minimal Magidor forcing over V.

Type
Articles
Copyright
Copyright © The Association for Symbolic Logic 2014 

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

Dehornoy, Patrick, An application of iterated ultrapowers to changing cofinalities. Journal of Symbolic Logic, vol. 48 (1983), no. 2, pp. 225235.Google Scholar
Fuchs, Gunter, A characterization of generalized Příkrý sequences. Archive for Mathematical Logic, vol. 44 (2005), no. 8, pp. 935971.CrossRefGoogle Scholar
Gitik, Moti, Prikry-type forcings, Handbook of Set Theory (Foreman, Matthew and Magidor, Menachem, editors), vol. 2, chapter. 16, Springer, Berlin, 2010, pp. 13511447.CrossRefGoogle Scholar
Jensen, Ronald B., Dee-subproper forcing, Handwritten notes, 2008, http://www.mathematik.hu-berlin.de/∼raesch/org/jensen.html.Google Scholar
Magidor, Menachem, Changing cofinality of cardinals. Fundamenta Mathematicae, vol. 99 (1978), no. 1, pp. 6171.Google Scholar
Mathias, A. R. D., On sequences generic in the sense of Prikry. Journal of the Australian Mathematical Society, vol. 15 (1973), pp. 409414.Google Scholar
Příkrý, Karel, Changing measurable into accessible cardinals. Dissertationes Mathematicae (Rozprawy Matematyczne), vol. 68 (1970), pp. 552.Google Scholar