Consistent and inconsistent generalizations of Martin’s Axiom, weak square and weak Chang’s Conjecture
-
Published:2024-06-26
Issue:
Volume:
Page:
-
ISSN:0219-0613
-
Container-title:Journal of Mathematical Logic
-
language:en
-
Short-container-title:J. Math. Log.
Author:
Asperó David1ORCID,
Tananimit Nutt1
Affiliation:
1. School of Mathematics, University of East Anglia, Norwich NR4 7TJ, UK
Abstract
We prove that the forcing axiom [Formula: see text] (stratified) implies [Formula: see text]. Using this implication, we show that the forcing axiom [Formula: see text] is inconsistent. We also derive weak Chang’s Conjecture from [Formula: see text] (stratified) and use this second implication to give another proof of the inconsistency of [Formula: see text].
Publisher
World Scientific Pub Co Pte Ltd