An Inconsistent Forcing Axiom at $\omega_2$
Logic
2020-08-05 v1
Abstract
We show that the forcing axiom for countably compact, -Knaster, well-met posets is inconsistent. This is supplemental to an inconsistency result of Shelah and sets a new limit to the generalization of Martin's Axiom to the stage of .
Keywords
Cite
@article{arxiv.2008.01225,
title = {An Inconsistent Forcing Axiom at $\omega_2$},
author = {Stevo Todorčević and Shihao Xiong},
journal= {arXiv preprint arXiv:2008.01225},
year = {2020}
}