On Namba Forcing And Minimal Collapses
Forum of Mathematics, Sigma, Tome 13 (2025) no. 1, p. e170

Voir la notice de l'article provenant de la source Cambridge University Press

We build on a 1990 paper of Bukovský and Copláková-Hartová. First, we remove the hypothesis of ${\mathsf {CH}}$ from one of their minimality results. Then, using a measurable cardinal, we show that there is a $|\aleph _2^V|=\aleph _1$-minimal extension that is not a $|\aleph _3^V|=\aleph _1$-extension, answering the first of their questions.
Levine, Maxwell. On Namba Forcing And Minimal Collapses. Forum of Mathematics, Sigma, Tome 13 (2025) no. 1, p. e170. doi: 10.1017/fms.2025.10106
@article{10_1017_fms_2025_10106,
     author = {Levine, Maxwell},
     title = {On {Namba} {Forcing} {And} {Minimal} {Collapses}},
     journal = {Forum of Mathematics, Sigma},
     pages = {e170},
     year = {2025},
     volume = {13},
     number = {1},
     doi = {10.1017/fms.2025.10106},
     url = {http://geodesic.mathdoc.fr/articles/10.1017/fms.2025.10106/}
}
TY  - JOUR
AU  - Levine, Maxwell
TI  - On Namba Forcing And Minimal Collapses
JO  - Forum of Mathematics, Sigma
PY  - 2025
SP  - e170
VL  - 13
IS  - 1
UR  - http://geodesic.mathdoc.fr/articles/10.1017/fms.2025.10106/
DO  - 10.1017/fms.2025.10106
ID  - 10_1017_fms_2025_10106
ER  - 
%0 Journal Article
%A Levine, Maxwell
%T On Namba Forcing And Minimal Collapses
%J Forum of Mathematics, Sigma
%D 2025
%P e170
%V 13
%N 1
%U http://geodesic.mathdoc.fr/articles/10.1017/fms.2025.10106/
%R 10.1017/fms.2025.10106
%F 10_1017_fms_2025_10106

[1] Brendle, J., Brooke-Taylor, A., Friedman, S.-D. and Montoya, D. C., ‘Cichoń’s diagram for uncountable cardinals’, Israel J. Math. 225 (2018), 959–1010.10.1007/s11856-018-1688-y Google Scholar | DOI

[2] Bukovský, L., ‘Changing cofinality of ’, in Set theory and hierarchy theory (Proc. Second Conf., Bierutowice, 1975), Lecture Notes in Math., vol. 537 (Springer, Berlin–New York, 1976), 37–49. Google Scholar

[3] Bukovskỳ, L. and Copláková-Hartová, E., ‘Minimal collapsing extensions of models of ZFC’, Ann. Pure Appl. Logic 46(3) (1990), 265–298.10.1016/0168-0072(90)90006-N Google Scholar | DOI

[4] Cummings, J., ‘Collapsing successors of singulars’, Proc. Amer. Math. Soc. 125 (1997), 2703–2709.10.1090/S0002-9939-97-03995-6 Google Scholar | DOI

[5] Cummings, J. and Magidor, M., ‘Martin’s maximum and weak square’, Proc. Amer. Math. Soc. 139 (2011), 3339–3348.10.1090/S0002-9939-2011-10730-5 Google Scholar | DOI

[6] Eisworth, T., ‘Successors of singular cardinals’, in Foreman, M. and Kanamori, A. (eds.), Handbook of Set Theory (Springer, 2010), 1229–1350.10.1007/978-1-4020-5764-9_16 Google Scholar | DOI

[7] Foreman, M. and Todorcevic, S., ‘A new Löwenheim–Skolem theorem’, Trans. Amer. Math. Soc. 357(5) (2005), 1693–1715.10.1090/S0002-9947-04-03445-2 Google Scholar | DOI

[8] Galvin, F., Jech, T. and Magidor, M., ‘An ideal game’, J. Symbolic Logic 43(2) (1978), 284–292.10.2307/2272827 Google Scholar | DOI

[9] Guzmán, O., Hrušák, M. and Zapletal, J., ‘Preservation theorems for Namba forcing’, Ann. Pure Appl. Logic 172(2) (2021), 102869.10.1016/j.apal.2020.102869 Google Scholar | DOI

[10] Jech, T., ‘Precipitous ideals’, in Logic Colloq. 76 (Oxford, 1976), Stud. Logic Found. Math., vol. 87 (North-Holland, Amsterdam–New York–Oxford, 1977), 521–530. Google Scholar

[11] Jech, T., Set Theory, Springer Monographs in Mathematics (Springer-Verlag, Berlin, 2003), the third millennium, revised and expanded edn. Google Scholar

[12] Jech, T., Magidor, M., Mitchell, W. and Prikry, K., ‘Precipitous ideals’, J. Symbolic Logic 45(1) (1980), 1–8.10.2307/2273349 Google Scholar | DOI

[13] Kanamori, A., ‘Perfect-set forcing for uncountable cardinals’, Ann. Math. Logic 19(1–2) (1980), 97–114.10.1016/0003-4843(80)90021-2 Google Scholar | DOI

[14] Krueger, J., ‘Namba forcing and no good scale’, J. Symbolic Logic 78(3) (2013), 785–802.10.2178/jsl.7803050 Google Scholar | DOI

[15] Levine, M., ‘Classical Namba forcing can have the weak countable approximation property’, Proc. Amer. Math. Soc., to appear (2023). Google Scholar

[16] Levine, M. and Mildenberger, H., ‘Distributivity and minimality in perfect tree forcings for singular cardinals’, Israel J. Math. (2024), 1–40. Google Scholar

[17] Namba, K., ‘Independence proof of -distributive law in complete Boolean algebras’, Comment. Math. Univ. St. Pauli 19(1) (1971), 1–12. Google Scholar

[18] Shelah, S., Proper and Improper Forcing, vol. 5 (Cambridge University Press, 2017).10.1017/9781316717233 Google Scholar | DOI

Cité par Sources :