arXiv:2008.01225 Abstract | arXiv Analytics

arXiv:2008.01225 [math.LO]Abstract References Reviews Resources

An Inconsistent Forcing Axiom at $ω_2$

Published 2020-08-03Version 1

We show that the forcing axiom for countably compact, $\omega_2$-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 $\omega_2$.

Categories: math.LO

Subjects: 03E57, 03E35, 03E05

Keywords: inconsistent forcing axiom, well-met posets, inconsistency result, martins axiom, countably compact

Related articles: Most relevant | Search more

arXiv:1206.6724 [math.LO] (Published 2012-06-28, updated 2015-01-23)

A Generalization of Martin's Axiom

David Asperó, Miguel Angel Mota

arXiv:1404.2776 [math.LO] (Published 2014-04-10, updated 2019-08-28)

Adding a random real number and its effect on Martin's axiom

Joan Bagaria, Saharon Shelah

arXiv:math/0009062 [math.LO] (Published 2000-09-06)

Reflexive subgroups of the Baer-Specker group and Martin's axiom