The subcompleteness of Magidor forcing

Archive for Mathematical Logic 57 (3-4):273-284 (2018)
  Copy   BIBTEX

Abstract

It is shown that the Magidor forcing to collapse the cofinality of a measurable cardinal that carries a length \ sequence of normal ultrafilters, increasing in the Mitchell order, to \, is subcomplete.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,873

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Closure properties of parametric subcompleteness.Gunter Fuchs - 2018 - Archive for Mathematical Logic 57 (7-8):829-852.
The number of normal measures.Sy-David Friedman & Menachem Magidor - 2009 - Journal of Symbolic Logic 74 (3):1069-1080.
The independence of δ1n.Amir Leshem & Menachem Magidor - 1999 - Journal of Symbolic Logic 64 (1):350 - 362.
A new proof of a theorem of Magidor.Arthur W. Apter - 2000 - Archive for Mathematical Logic 39 (3):209-211.
The Independence of $delta^1_n$.Amir Leshem & Menachem Magidor - 1999 - Journal of Symbolic Logic 64 (1):350-362.
Forcing disabled.M. C. Stanley - 1992 - Journal of Symbolic Logic 57 (4):1153-1175.
Co-stationarity of the Ground Model.Natasha Dobrinen & Sy-David Friedman - 2006 - Journal of Symbolic Logic 71 (3):1029 - 1043.
Laver Indestructibility and the Class of Compact Cardinals.Arthur W. Apter - 1998 - Journal of Symbolic Logic 63 (1):149-157.
Distributive proper forcing axiom and cardinal invariants.Huiling Zhu - 2013 - Archive for Mathematical Logic 52 (5-6):497-506.
PFA and Ideals on $\omega_{2}$ Whose Associated Forcings Are Proper.Sean Cox - 2012 - Notre Dame Journal of Formal Logic 53 (3):397-412.
Magidor-like and radin-like forcing.J. M. Henle - 1983 - Annals of Pure and Applied Logic 25 (1):59-72.
Forcing the Least Measurable to Violate GCH.Arthur W. Apter - 1999 - Mathematical Logic Quarterly 45 (4):551-560.
Forcing Magidor iteration over a core model below $${0^{\P}}$$ 0 ¶.Omer Ben-Neria - 2014 - Archive for Mathematical Logic 53 (3-4):367-384.
0♯ and some forcing principles.Matthew Foreman, Menachem Magidor & Saharon Shelah - 1986 - Journal of Symbolic Logic 51 (1):39 - 46.

Analytics

Added to PP
2018-03-24

Downloads
19 (#820,758)

6 months
9 (#352,458)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Closure properties of parametric subcompleteness.Gunter Fuchs - 2018 - Archive for Mathematical Logic 57 (7-8):829-852.
Hierarchies of resurrection axioms.Gunter Fuchs - 2018 - Journal of Symbolic Logic 83 (1):283-325.
Subcomplete forcing principles and definable well‐orders.Gunter Fuchs - 2018 - Mathematical Logic Quarterly 64 (6):487-504.
The subcompleteness of diagonal Prikry forcing.Kaethe Minden - 2020 - Archive for Mathematical Logic 59 (1-2):81-102.

Add more citations

References found in this work

Admissible Sets and Structures.Jon Barwise - 1978 - Studia Logica 37 (3):297-299.
On sequences generic in the sense of Magidor.Gunter Fuchs - 2014 - Journal of Symbolic Logic 79 (4):1286-1314.
Restrictions on forcings that change cofinalities.Yair Hayut & Asaf Karagila - 2016 - Archive for Mathematical Logic 55 (3-4):373-384.

Add more references