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

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

Preview

PDF (mm(aleph_2-cc)) - Accepted Version Download (469kB) | Preview

Abstract

We prove that the forcing axiom MA ℵ2 1.5(stratified) implies □ ω1 ω1. Using this implication, we show that the forcing axiom MM ℵ2(ℵ 2-c.c.) is inconsistent. We also derive weak Chang’s Conjecture from MA ℵ21.5(stratified) and use this second implication to give another proof of the inconsistency of MM ℵ2(ℵ 2-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,ℵ -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, Number Theory, Logic, and Representations (ANTLR)
Related URLs:	http://www.scopus.com/inward/record.url?...
Depositing User:	LivePure Connector
Date Deposited:	16 May 2024 10:30
Last Modified:	04 Dec 2025 09:30
URI:	https://ueaeprints.uea.ac.uk/id/eprint/95229
DOI:	10.1142/S0219061324500211

Downloads

Actions (login required)

View Item