{ "id": "math/0404220", "version": "v3", "published": "2004-04-11T23:03:20.000Z", "updated": "2017-08-07T13:15:34.000Z", "title": "A comment on \"p t = aleph_1. In other words if MA_{aleph_1} (or a weak version of this) then (of course aleph_2 <= p <= t and) p = aleph_2 -> p = t . This is based on giving a consequence of p