Hoffelner, Stefan; Larson, Paul; Schindler, Ralf; Wu, Liuzhen Forcing axioms and the definability of the nonstationary ideal on the first uncountable. (English) Zbl 07978116 J. Symb. Log. 89, No. 4, 1641-1658 (2024). MSC: 03E35 03E45 03E55 03E57 × Cite Format Result Cite Review PDF Full Text: DOI
Hoffelner, Stefan Forcing axioms and the uniformization-property. (English) Zbl 07894016 Ann. Pure Appl. Logic 175, No. 10, Article ID 103466, 23 p. (2024). MSC: 03E15 03E35 03E50 03E55 03E57 × Cite Format Result Cite Review PDF Full Text: DOI
Fuchs, Gunter Errata: on the role of the continuum hypothesis in forcing principles for subcomplete forcing. (English) Zbl 07874612 Arch. Math. Logic 63, No. 5-6, 509-521 (2024). MSC: 03E50 03E57 × Cite Format Result Cite Review PDF Full Text: DOI
Venturi, Giorgio; Viale, Matteo What model companionship can say about the continuum problem. (English) Zbl 07861982 Rev. Symb. Log. 17, No. 2, 546-585 (2024). MSC: 03E35 03E50 03E57 03C10 03C25 00A30 03A05 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Tall, Franklin D.; Zhang, Jing The second-order version of Morley’s theorem on the number of countable models does not require large cardinals. (English) Zbl 1542.03059 Arch. Math. Logic 63, No. 3-4, 483-490 (2024). Reviewer: Luis Miguel Villegas Silva (Ciudad de México) MSC: 03C85 03C55 03E35 03C52 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Honzik, Radek; Lambie-Hanson, Chris; Stejskalová, Šárka Indestructibility of some compactness principles over models of \(\mathsf{PFA} \). (English) Zbl 07748768 Ann. Pure Appl. Logic 175, No. 1, Article ID 103359, 17 p. (2024). MSC: 03E55 03E35 03E57 03E65 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Ya’ar, Ur Absoluteness for the theory of the inner model constructed from finitely many cofinality quantifiers. (English) Zbl 07748767 Ann. Pure Appl. Logic 175, No. 1, Article ID 103358, 10 p. (2024). MSC: 03E45 03E47 03E55 03E57 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Ikegami, Daisuke; Viale, Matteo Universally Baire sets in \(2^{\kappa}\). arXiv:2412.16546 Preprint, arXiv:2412.16546 [math.LO] (2024). MSC: 03E57 03E15 03E55 × Cite Format Result Cite Full Text: arXiv
De Bondt, Ben; Thom, Andreas On automorphism groups of metric reduced products of symmetric groups. arXiv:2412.10802 Preprint, arXiv:2412.10802 [math.GR] (2024). MSC: 20F69 03E75 20B30 03E57 03E50 × Cite Format Result Cite Full Text: arXiv OA License
De Bondt, Ben; Vignati, Alessandro A metric lifting theorem. arXiv:2411.11127 Preprint, arXiv:2411.11127 [math.LO] (2024). MSC: 03E57 03E35 03C66 × Cite Format Result Cite Full Text: arXiv OA License
Mohammadpour, Rahman WITHDRAWN: Martin’s Axiom and Weak Kurepa Hypothesis. arXiv:2411.04835 Preprint, arXiv:2411.04835 [math.LO] (2024); retraction notice ibid. MSC: 03E35 03E50 03E57 × Cite Format Result Cite Full Text: arXiv
Fuchino, Sakaé Reflection and Recurrence. arXiv:2410.20343 Preprint, arXiv:2410.20343 [math.LO] (2024). MSC: 03E45 03E50 03E55 03E57 03E65 × Cite Format Result Cite Full Text: arXiv OA License
Fuchino, Sakaé; Gappo, Takehiko; Parente, Francesco Generic Absoluteness Revisited. arXiv:2410.15384 Preprint, arXiv:2410.15384 [math.LO] (2024). MSC: 03E45 03E50 03E55 03E57 03E65 × Cite Format Result Cite Full Text: arXiv OA License
Goodman, Ben \(\Sigma_n\)-correct Forcing Axioms. arXiv:2405.09674 Preprint, arXiv:2405.09674 [math.LO] (2024). MSC: 03E57 03E35 03E55 03E65 × Cite Format Result Cite Full Text: arXiv
Bomfim, Diego Lima; Morgan, Charles; da Silva, Samuel Gomes On forcing axioms and weakenings of the Axiom of Choice. arXiv:2404.10736 Preprint, arXiv:2404.10736 [math.LO] (2024). MSC: 03E25 03E57 03E05 × Cite Format Result Cite Full Text: arXiv
Lietz, Andreas Forcing ”\(\mathrm{NS}_{\omega_1}\) is \(\omega_1\)-dense” From Large Cardinals. arXiv:2403.09020 Preprint, arXiv:2403.09020 [math.LO] (2024). MSC: 03E57 03E55 03E50 03E35 × Cite Format Result Cite Full Text: arXiv
Lietz, Andreas An Iteration Theorem for \(\omega_1\)-preserving Forcings. arXiv:2403.09018 Preprint, arXiv:2403.09018 [math.LO] (2024). MSC: 03E35 03E55 03E57 × Cite Format Result Cite Full Text: arXiv
Fuchino, Sakaé; Usuba, Toshimichi On Recurrence Axioms. arXiv:2402.02693 Preprint, arXiv:2402.02693 [math.LO] (2024). MSC: 03E45 03E50 03E55 03E57 03E65 × Cite Format Result Cite Full Text: arXiv OA License
Viale, Matteo Strong forcing axioms and the continuum problem [after Asperó’s and Schindler’s proof that \(\mathrm{MM}^{++}\) implies Woodin’s axiom \((*)\)]. (Axiomes de forcing forts et l’hypothèse du continu [suivant la démonstration d’Asperó et Schindler que \(\mathrm{MM}^{++}\) entraîne l’axiome de Woodin \((*)\)].) (English) Zbl 07827471 Séminaire Bourbaki. Volume 2021/2022. Exposés 1197–1210. Paris: Société Mathématique de France (SMF). Astérisque 446, 383-416, Exp. No. 1207 (2023). MSC: 03E35 03E50 03E57 03C10 00A30 03A05 × Cite Format Result Cite Review PDF Full Text: DOI
Lücke, Philipp; Souldatos, Ioannis Non-absoluteness of Hjorth’s cardinal characterization. (English) Zbl 07797036 Fundam. Math. 262, No. 2, 105-128 (2023). MSC: 03C55 03E35 03C75 03C15 03C35 03E57 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Cox, Sean D.; Fuchs, Gunter The diagonal strong reflection principle and its fragments. (English) Zbl 07735953 J. Symb. Log. 88, No. 3, 1281-1309 (2023). MSC: 03E57 03E50 03E35 03E75 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Asperó, David; Schindler, Ralf How many real numbers are there? (Wieviele reelle Zahlen gibt es?) (German) Zbl 07711103 Math. Semesterber. 70, No. 1, 1-15 (2023). MSC: 03-02 03E50 03E57 × Cite Format Result Cite Review PDF Full Text: DOI
Nyikos, Peter Notes on quasi-metrizability and trees. (English) Zbl 07696890 Topol. Proc. 61, 341-349 (2023). MSC: 03E57 06F30 54E99 54F05 03E35 03E65 54E55 54H99 × Cite Format Result Cite Review PDF Full Text: Link
Mohammadpour, Rahman Specialising trees with small approximations. I. (English) Zbl 07691755 J. Symb. Log. 88, No. 2, 640-663 (2023). MSC: 03E05 03E35 03E57 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Cox, Sean Filtration games and potentially projective modules. (English) Zbl 07687306 Fundam. Math. 260, No. 3, 199-232 (2023). MSC: 03E35 03E57 03E75 16D40 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Venturi, Giorgio; Viale, Matteo Second order arithmetic as the model companion of set theory. (English) Zbl 07680014 Arch. Math. Logic 62, No. 1-2, 29-53 (2023). MSC: 03C10 03C25 03E57 03E55 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Henney-Turner, Christopher; Schlicht, Philipp Forcing axioms via ground model interpretations. (English) Zbl 07680008 Ann. Pure Appl. Logic 174, No. 6, Article ID 103260, 45 p. (2023). MSC: 03E57 03E05 03E35 03E65 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Müller, Sandra; Schlicht, Philipp Uniformization and internal absoluteness. (English) Zbl 07679794 Proc. Am. Math. Soc. 151, No. 7, 3089-3102 (2023). MSC: 03E15 03E57 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Kasum, Obrad; Veličković, Boban Marginalia to a Theorem of Asperó and Schindler. arXiv:2308.08293 Preprint, arXiv:2308.08293 [math.LO] (2023). MSC: 03E40 03E57 03C75 × Cite Format Result Cite Full Text: arXiv
Viale, Matteo Strong forcing axioms and the continuum problem (following Asperó’s and Schindler’s proof that \(\mathbf{MM}^{++}\) implies Woodin’s Axiom \((*)\)). arXiv:2305.07784 Preprint, arXiv:2305.07784 [math.LO] (2023). MSC: 03E57 03E50 03E50 03C10 × Cite Format Result Cite Full Text: arXiv
Bilinsky, Eilon; Hayut, Yair The Spectra of transitive models. arXiv:2305.04244 Preprint, arXiv:2305.04244 [math.LO] (2023). MSC: 03E10 03E10 03E57 × Cite Format Result Cite Full Text: arXiv OA License
Mohammadpour, Rahman; Velickovic, Boban On Indestructible Strongly Guessing Models. arXiv:2303.17458 Preprint, arXiv:2303.17458 [math.LO] (2023). MSC: 03E35 03E55 03E57 03E65 × Cite Format Result Cite Full Text: arXiv
Herden, D.; Pasi, A. V. On the absoluteness of \(\aleph_1\)-freeness. (English. Russian original) Zbl 1547.03347 Algebra Logic 61, No. 5, 351-362 (2022); translation from Algebra Logika 61, No. 5, 523-540 (2022). MSC: 03E75 03E35 20K35 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Shelah, Saharon Forcing axioms for \(\lambda \)-complete \(\mu^+\)-c.c. (English) Zbl 1521.03204 Math. Log. Q. 68, No. 1, 6-26 (2022). MSC: 03E57 03E35 03E40 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Cox, Sean; Lücke, Philipp Forcing axioms and the complexity of non-stationary ideals. (English) Zbl 07573929 Monatsh. Math. 199, No. 1, 45-84 (2022). MSC: 03E57 03E35 03E47 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Asperó, David; Viale, Matteo Incompatible bounded category forcing axioms. (English) Zbl 07566937 J. Math. Log. 22, No. 2, Article ID 2250006, 76 p. (2022). MSC: 03E57 03E35 03E47 03E55 × Cite Format Result Cite Review PDF Full Text: DOI arXiv Link
Garti, Shimon; Hayut, Yair; Horowitz, Haim; Magidor, Menachem Forcing axioms and the Galvin number. (English) Zbl 1513.03087 Period. Math. Hung. 84, No. 2, 250-258 (2022). Reviewer: Martin Weese (Potsdam) MSC: 03E05 03E57 03E04 03E35 03E50 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Hayut, Yair; Magidor, Menachem; Poveda, Alejandro Identity crisis between supercompactness and Vǒpenka’s principle. (English) Zbl 07541916 J. Symb. Log. 87, No. 2, 626-648 (2022). MSC: 03E55 03E35 03E50 03E57 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Dow, A.; Hart, K. P. PFA and \(\omega_1\)-free compact spaces. (English) Zbl 1499.54116 Acta Math. Hung. 166, No. 1, 57-64 (2022). Reviewer: Robert M. Stephenson Jr. (Columbia) MSC: 54D30 03E35 03E50 03E57 54A20 54A35 54D20 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Ikegami, Daisuke; Schlicht, Philipp Forcing over choiceless models and generic absoluteness. arXiv:2212.14240 Preprint, arXiv:2212.14240 [math.LO] (2022). MSC: 03E25 03E57 03E35 03E17 × Cite Format Result Cite Full Text: arXiv
Mohammadpour, Rahman A Road To Compactness Through Guessing Models. arXiv:2210.02514 Preprint, arXiv:2210.02514 [math.LO] (2022). MSC: 03E05 03E35 03E57 03E65 × Cite Format Result Cite Full Text: arXiv
Usuba, Toshimichi Generically extendible cardinals. arXiv:2209.12144 Preprint, arXiv:2209.12144 [math.LO] (2022). MSC: 03E40 03E55 03E57 × Cite Format Result Cite Full Text: arXiv OA License
Hoffelner, Stefan; Larson, Paul; Schindler, Ralf; Wu, Liuzhen Forcing Axioms and the Definabilty of the Nonstationary Ideal on \(\omega_1\). arXiv:2208.05288 Preprint, arXiv:2208.05288 [math.LO] (2022). MSC: 03E35 03E45 03E47 03E55 03E57 × Cite Format Result Cite Full Text: arXiv
Fuchino, Sakaé; Sakai, Hiroshi Generically supercompact cardinals by forcing with chain conditions. arXiv:2202.07914 Preprint, arXiv:2202.07914 [math.LO] (2022). MSC: 03E35 03E50 03E55 03E57 03E65 × Cite Format Result Cite Full Text: arXiv
Farah, Ilijas; Ghasemi, Saeed; Vaccaro, Andrea; Vignati, Alessandro Corona Rigidity. arXiv:2201.11618 Preprint, arXiv:2201.11618 [math.LO] (2022). MSC: 03E35 03E50 03E65 03E57 03E75 03C50 03C20 03C98 06E05 46L05 46L40 54C05 54D40 03C66 × Cite Format Result Cite Full Text: arXiv OA License
Fuchs, Gunter Canonical fragments of the strong reflection principle. (English) Zbl 1547.03324 J. Math. Log. 21, No. 3, Article ID 2150023, 58 p. (2021). MSC: 03E35 03E40 03E50 03E55 03E57 03E05 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Cox, Sean D. Forcing axioms, approachability, and stationary set reflection. (English) Zbl 1537.03064 J. Symb. Log. 86, No. 2, 499-530 (2021). MSC: 03E40 03E57 03E55 03E35 03E05 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Mohammadpour, Rahman Almost strong properness. (English) Zbl 1490.03026 Proc. Am. Math. Soc. 149, No. 12, 5359-5365 (2021). Reviewer: Pierre Matet (Caen) MSC: 03E05 03E35 03E57 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Gilbert, David R.; Venturi, Giorgio Reflexive-insensitive logics, the boxdot translation, and the modal logic of generic absoluteness. (English) Zbl 1487.03036 Notre Dame J. Formal Logic 62, No. 2, 269-283 (2021). Reviewer: Osamu Sonobe (Follonica) MSC: 03B45 03F45 03E57 × Cite Format Result Cite Review PDF Full Text: DOI
Asperó, David; Karagila, Asaf Dependent choice, properness, and generic absoluteness. (English) Zbl 1532.03072 Rev. Symb. Log. 14, No. 1, 225-249 (2021). MSC: 03E25 03E55 03E35 03E57 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Miyamoto, Tadatoshi; Yorioka, Teruyuki Forcing the mapping reflection principle by finite approximations. (English) Zbl 1535.03248 Arch. Math. Logic 60, No. 6, 737-748 (2021). MSC: 03E35 03E50 03E57 × Cite Format Result Cite Review PDF Full Text: DOI
Fuchs, Gunter Aronszajn tree preservation and bounded forcing axioms. (English) Zbl 1529.03258 J. Symb. Log. 86, No. 1, 293-315 (2021). MSC: 03E50 03E57 03E35 03E55 03E05 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Fuchs, Gunter; Lambie-Hanson, Chris Separating diagonal stationary reflection principles. (English) Zbl 1529.03231 J. Symb. Log. 86, No. 1, 262-292 (2021). MSC: 03E05 03E35 03E55 03E57 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Hoffelner, Stefan NS saturated and \({\Delta }_1\)-definable. (English) Zbl 1529.03249 J. Symb. Log. 86, No. 1, 25-59 (2021). MSC: 03E35 03E45 03E55 03E57 03E05 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Asperó, David; Schindler, Ralf Martin’s maximum\(^{++}\) implies Woodin’s axiom \((*)\). (English) Zbl 1496.03203 Ann. Math. (2) 193, No. 3, 793-835 (2021). Reviewer: Yair Hayut (Jerusalem) MSC: 03E57 03E55 03E50 03E60 × Cite Format Result Cite Review PDF Full Text: DOI Link
Fischer, Vera; Schrittesser, David; Weinert, Thilo Definable MAD families and forcing axioms. (English) Zbl 1477.03207 Ann. Pure Appl. Logic 172, No. 5, Article ID 102909, 16 p. (2021). Reviewer: Rahman Mohammadpour (Paris) MSC: 03E35 03E15 03E57 03E55 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Castiblanco, Fabiana; Schlicht, Philipp Preserving levels of projective determinacy by tree forcings. (English) Zbl 1506.03101 Ann. Pure Appl. Logic 172, No. 4, Article ID 102918, 34 p. (2021). MSC: 03E15 03E35 03E45 03E55 03E57 03E60 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Garti, Shimon; Zhang, Jing Stationary and closed rainbow subsets. (English) Zbl 1498.03098 Ann. Pure Appl. Logic 172, No. 2, Article ID 102887, 17 p. (2021). MSC: 03E02 03E55 03E57 03E35 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Džamonja, Mirna Fast track to forcing. (English) Zbl 1511.03001 London Mathematical Society Student Texts 98. Cambridge: Cambridge University Press (ISBN 978-1-108-42015-0/hbk; 978-1-108-41314-5/pbk; 978-1-108-30386-6/ebook). xiii, 147 p. (2021). Reviewer: Tetsuya Ishiu (Oxford, OH) MSC: 03-01 03E35 03E50 03E57 × Cite Format Result Cite Review PDF Full Text: DOI Link
Viale, Matteo Absolute model companionship, forcibility, and the continuum problem. arXiv:2109.02285 Preprint, arXiv:2109.02285 [math.LO] (2021). MSC: 03E57 03C10 × Cite Format Result Cite Full Text: arXiv
Hoffelner, Stefan Forcing the \(\Pi^1_n\)-Uniformization Property. arXiv:2103.11748 Preprint, arXiv:2103.11748 [math.LO] (2021). MSC: 03E15 03E35 03E45 03E47 03E55 03E57 03E60 × Cite Format Result Cite Full Text: arXiv
Viale, Matteo Another proof that \(\mathsf{MM}^{++}\) implies Woodin’s axiom \((*)\). arXiv:2111.03856 Preprint, arXiv:2111.03856 [math.LO] (2021). MSC: 03E35 03E57 × Cite Format Result Cite Full Text: arXiv
Viale, Matteo The model-companionship spectrum of set theory, generic absoluteness, and the Continuum problem. arXiv:2101.07573 Preprint, arXiv:2101.07573 [math.LO] (2021). MSC: 03C10 03E57 × Cite Format Result Cite Full Text: arXiv
Gunther, Emmanuel; Pagano, Miguel; Terraf, Pedro Sánchez Formalization of forcing in Isabelle/ZF. (English) Zbl 07614672 Peltier, Nicolas (ed.) et al., Automated reasoning. 10th international joint conference, IJCAR 2020, Paris, France, July 1–4, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12167, 221-235 (2020). MSC: 68V15 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
de la Vega, Ramiro; Murgas, Javier; Uzcátegui, Carlos Selective separability and \(q^+\) in maximal spaces. (English) Zbl 1469.54023 Topology Appl. 285, Article ID 107392, 11 p. (2020). Reviewer: Marion Scheepers (Boise) MSC: 54G05 54A35 03E57 54D65 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Miyamoto, Tadatoshi; Yorioka, Teruyuki A fragment of Asperó-Mota’s finitely proper forcing axiom and entangled sets of reals. (English) Zbl 1467.03015 Fundam. Math. 251, No. 1, 35-68 (2020). Reviewer: Rahman Mohammadpour (Paris) MSC: 03E35 03E57 03E50 × Cite Format Result Cite Review PDF Full Text: DOI
Asperó, David; Krueger, John Parametrized measuring and club guessing. (English) Zbl 1484.03083 Fundam. Math. 249, No. 2, 169-183 (2020). MSC: 03E05 03E35 03E57 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Krueger, John A forcing axiom for a non-special Aronszajn tree. (English) Zbl 1481.03053 Ann. Pure Appl. Logic 171, No. 8, Article ID 102820, 22 p. (2020). MSC: 03E35 03E57 03E05 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Lücke, Philipp Partition properties for simply definable colourings. (English) Zbl 1476.03068 Isr. J. Math. 236, No. 2, 841-898 (2020). Reviewer: Yair Hayut (Jerusalem) MSC: 03E02 03E47 03E45 03E57 03E55 03E35 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Dobrinen, Natasha; Hathaway, Daniel Forcing and the Halpern-Läuchli theorem. (English) Zbl 1477.03175 J. Symb. Log. 85, No. 1, 87-102 (2020). MSC: 03E02 03E05 03E35 03E55 03E57 05D10 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Venturi, Giorgio Infinite forcing and the generic multiverse. (English) Zbl 1484.03111 Stud. Log. 108, No. 2, 277-290 (2020). MSC: 03E35 03E57 03C25 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Hoffelner, Stefan Forcing Axioms, the Uniformization and the Basis Property. arXiv:2001.07977 Preprint, arXiv:2001.07977 [math.LO] (2020). MSC: 03E15 03E35 03E45 03E57 × Cite Format Result Cite Full Text: arXiv
Schrittesser, David Maximal discrete sets. arXiv:2012.14638 Preprint, arXiv:2012.14638 [math.LO] (2020). MSC: 03E05 03E15 03E25 03E35 03E57 03E60 03E17 × Cite Format Result Cite Full Text: arXiv OA License
Džamonja, Mirna Are all natural numbers the same. arXiv:2011.11425 Preprint, arXiv:2011.11425 [math.LO] (2020). MSC: 03E57 × Cite Format Result Cite Full Text: arXiv OA License
Switzer, Corey Bacal Alternative Cichoń Diagrams and Forcing Axioms Compatible with CH. arXiv:2008.04900 Preprint, arXiv:2008.04900 [math.LO] (2020). MSC: 03E05 03E17 03E35 03E50 03E57 03E65 × Cite Format Result Cite Full Text: arXiv OA License
Todorčević, Stevo; Xiong, Shihao An Inconsistent Forcing Axiom at \(\omega_2\). arXiv:2008.01225 Preprint, arXiv:2008.01225 [math.LO] (2020). MSC: 03E57 03E35 03E05 × Cite Format Result Cite Full Text: arXiv
Fuchs, Gunter; Switzer, Corey Bacal Iteration theorems for subversions of forcing classes. arXiv:2006.13376 Preprint, arXiv:2006.13376 [math.LO] (2020). MSC: 03E50 03E55 03E57 03E35 03E17 03E05 03E40 × Cite Format Result Cite Full Text: arXiv OA License
Viale, Matteo Tameness for set theory \(II\). arXiv:2003.07120 Preprint, arXiv:2003.07120 [math.LO] (2020). MSC: 03E55 03E57 03C10 × Cite Format Result Cite Full Text: arXiv OA License
Viale, Matteo Tameness for set theory \(I\). arXiv:2003.07114 Preprint, arXiv:2003.07114 [math.LO] (2020). MSC: 03E55 03E57 03C10 × Cite Format Result Cite Full Text: arXiv OA License
Fontanella, Laura How to choose new axioms for set theory? (English) Zbl 1528.03217 Centrone, Stefania (ed.) et al., Reflections on the foundations of mathematics. Univalent foundations, set theory and general thoughts. Based on the conference on foundations of mathematics: univalent foundations and set theory, FOMUS, Bielefeld, Germany, July 18–23, 2016. Cham: Springer. Synth. Libr. 407, 27-42 (2019). MSC: 03E65 03A05 03E55 03E57 × Cite Format Result Cite Review PDF Full Text: DOI
Venturi, Giorgio Genericity and arbitrariness. (English) Zbl 1482.03010 Log. Anal., Nouv. Sér. 62, No. 248, 435-452 (2019). MSC: 03E40 03E57 03A05 × Cite Format Result Cite Review PDF Full Text: DOI
Zhu, Huiling; Zheng, Fudan Direct application of Martin’s axiom on cardinal invariants. (English) Zbl 1449.03019 J. Sichuan Norm. Univ., Nat. Sci. 42, No. 6, 739-745 (2019). MSC: 03E35 03E17 03E50 03E57 × Cite Format Result Cite Review PDF Full Text: DOI
Mejía, Diego Alejandro; Rivera-Madrid, Ismael E. Absoluteness theorems for arbitrary Polish spaces. (English) Zbl 1472.03052 Rev. Colomb. Mat. 53, No. 2, 109-123 (2019). MSC: 03E15 54H05 × Cite Format Result Cite Review PDF
Kanovei, V. G.; Lyubetsky, V. A. Absoluteness of the Solovay set \(\Sigma \). (English. Russian original) Zbl 1468.03064 Sib. Math. J. 60, No. 6, 1003-1006 (2019); translation from Sib. Mat. Zh. 60, No. 6, 1286-1290 (2019). MSC: 03E40 03E45 03E35 × Cite Format Result Cite Review PDF Full Text: DOI
Krupiński, Krzysztof; Newelski, Ludomir; Simon, Pierre Boundedness and absoluteness of some dynamical invariants in model theory. (English) Zbl 1477.03137 J. Math. Log. 19, No. 2, Article ID 1950012, 55 p. (2019). MSC: 03C45 03C60 37B05 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Lücke, Philipp Closed maximality principles and generalized Baire spaces. (English) Zbl 1529.03261 Notre Dame J. Formal Logic 60, No. 2, 253-282 (2019). MSC: 03E57 03E35 03E47 03E40 × Cite Format Result Cite Review PDF Full Text: DOI Euclid
Cox, Sean; Eskew, Monroe Strongly proper forcing and some problems of Foreman. (English) Zbl 1539.03145 Trans. Am. Math. Soc. 371, No. 7, 5039-5068 (2019). MSC: 03E05 03E35 03E55 03E57 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Rathjen, Michael The scope of Feferman’s semi-intuitionistic set theories and his second conjecture. (English) Zbl 1539.03177 Indag. Math., New Ser. 30, No. 3, 500-525 (2019). MSC: 03E70 03F55 × Cite Format Result Cite Review PDF Full Text: DOI
Lambie-Hanson, Chris; Rinot, Assaf A forcing axiom deciding the generalized Souslin hypothesis. (English) Zbl 1539.03147 Can. J. Math. 71, No. 2, 437-470 (2019). MSC: 03E05 03E35 03E57 03E55 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Chong, Chi Tat; Wu, Liuzhen; Yu, Liang Basis theorem for \(\Sigma_2^1\)-sets. (English) Zbl 1481.03033 J. Symb. Log. 84, No. 1, 376-387 (2019). MSC: 03D30 03D60 03D65 03E15 03E35 × Cite Format Result Cite Review PDF Full Text: DOI
Fernández-Bretón, David; Lauri, Elizabeth A characterization of the Boolean prime ideal theorem in terms of forcing notions. (English) Zbl 1481.03049 Fundam. Math. 245, No. 1, 25-38 (2019). MSC: 03E25 03E50 03E57 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Fuchs, Gunter Diagonal reflections on squares. (English) Zbl 1537.03054 Arch. Math. Logic 58, No. 1-2, 1-26 (2019). MSC: 03E05 03E35 03E55 03E50 03E57 × Cite Format Result Cite Review PDF Full Text: DOI
Calderoni, Filippo; Thomas, Simon The bi-embeddability relation for countable abelian groups. (English) Zbl 1472.03050 Trans. Am. Math. Soc. 371, No. 3, 2237-2254 (2019). MSC: 03E15 20K10 20K20 03E57 × Cite Format Result Cite Review PDF Full Text: DOI Link
Asperó, David; Cox, Sean; Karagila, Asaf; Weiss, Christoph The \(\kappa\)-Strongly Proper Forcing Axiom. arXiv:1912.02130 Preprint, arXiv:1912.02130 [math.LO] (2019). MSC: 03E57 03E55 03E35 × Cite Format Result Cite Full Text: arXiv OA License
Moore, Justin Tatch The method of forcing. arXiv:1902.03235 Preprint, arXiv:1902.03235 [math.LO] (2019). MSC: 03E40 03E57 03E75 05D10 54C35 × Cite Format Result Cite Full Text: arXiv OA License
Venturi, Giorgio; Viale, Matteo New axioms in set theory. (English) Zbl 1534.03008 Mat. Cult. Soc., Riv. Unione Mat. Ital. (1) 3, No. 3, 211-236 (2018). MSC: 03-03 03E30 03E45 03E55 03E57 03E65 01A60 × Cite Format Result Cite Review PDF
Avron, Arnon; Lev, Shahar; Levi, Nissan Safety, absoluteness, and computability. (English) Zbl 1528.03183 Ghica, Dan R. (ed.) et al., 27th EACSL annual conference on computer science logic, CSL 2018, Birmingham, United Kingdom, September 4–8, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 119, Article 8, 17 p. (2018). MSC: 03D45 03B25 03E30 68P15 × Cite Format Result Cite Review PDF Full Text: DOI
Fuchs, Gunter Subcomplete forcing principles and definable well-orders. (English) Zbl 1521.03203 Math. Log. Q. 64, No. 6, 487-504 (2018). MSC: 03E57 03E35 03E40 03E25 03E45 03E50 03E55 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Zapletal, Jindrich Bounded namba forcing axiom may fail. (English) Zbl 1521.03205 Math. Log. Q. 64, No. 3, 170-172 (2018). MSC: 03E57 03E35 03E50 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Lamei Ramandi, Hossein; Moore, Justin Tatch There may be no minimal non-\(\sigma\)-scattered linear orders. (English) Zbl 1472.03045 Math. Res. Lett. 25, No. 6, 1957-1975 (2018). MSC: 03E05 03E35 03E57 06A05 × Cite Format Result Cite Review PDF Full Text: DOI arXiv