{ "id": "2209.01395", "version": "v1", "published": "2022-09-03T10:51:59.000Z", "updated": "2022-09-03T10:51:59.000Z", "title": "The proper forcing axiom for $\\aleph_1$-sized posets and the size of the continuum", "authors": [ "David Asperó", "Mohammad Golshani" ], "comment": "Comments and suggestions are welcome", "categories": [ "math.LO" ], "abstract": "We show that the Proper Forcing Axiom for forcing notions of size $\\aleph_1$ is consistent with the continuum being arbitrarily large.", "revisions": [ { "version": "v1", "updated": "2022-09-03T10:51:59.000Z" } ], "analyses": { "keywords": [ "proper forcing axiom", "sized posets", "forcing notions" ], "note": { "typesetting": "TeX", "pages": 0, "language": "en", "license": "arXiv", "status": "editable" } } }