Consistent and inconsistent generalizations of Martin's Axiom, weak square, and weak Chang's Conjecture

Asperó, David and Tananimit, Nutt (2024) Consistent and inconsistent generalizations of Martin's Axiom, weak square, and weak Chang's Conjecture. Journal of Mathematical Logic (jml). ISSN 0219-0613

PDF (mm(aleph_2-cc)) - Accepted Version Restricted to Repository staff only until 1 July 2025.

Abstract

We prove that the forcing axiom $\MA^{1.5}_{\aleph_2}(\mbox{stratified})$ implies $\Box_{\omega_1, \omega_1}$. Using this implication, we show that the forcing axiom $\MM_{\aleph_2}(\aleph_2\mbox{-c.c.})$ is inconsistent. We also derive weak Chang's Conjecture from $\MA^{1.5}_{\aleph_2}(\mbox{stratified})$ and use this second implication to give another proof of the inconsistency of $\MM_{\aleph_2}(\aleph_2\mbox{-c.c.})$.

Item Type:	Article
Uncontrolled Keywords:	weak square,forcing axiom failures,generalizations of martin’s axiom,weak chang’s conjecture,ℵ1.5-c.c. with respect to families of models with additional properties,logic ,/dk/atira/pure/subjectarea/asjc/2600/2609
Faculty \ School:	Faculty of Science > School of Mathematics (former - to 2024)
UEA Research Groups:	Faculty of Science > Research Groups > Logic (former - to 2024) Faculty of Science > Research Groups > Algebra, Logic & Number Theory
Related URLs:	http://www.scopus.com/inward/record.url?...
Depositing User:	LivePure Connector
Date Deposited:	16 May 2024 10:30
Last Modified:	07 Nov 2024 12:47
URI:	https://ueaeprints.uea.ac.uk/id/eprint/95229
DOI:	10.1142/S0219061324500211

Actions (login required)

View Item