PFA(S)[S]: More Mutually Consistent Topological Consequences of PFA and V = L
From MaRDI portal
Publication:3165379
DOI10.4153/CJM-2012-010-0zbMath1256.54048MaRDI QIDQ3165379
Publication date: 26 October 2012
Published in: Canadian Journal of Mathematics (Search for Journal in Brave)
Noncompact covering properties (paracompact, Lindelöf, etc.) (54D20) Consistency and independence results (03E35) Large cardinals (03E55) Consistency and independence results in general topology (54A35) Local compactness, (sigma)-compactness (54D45) Generic absoluteness and forcing axioms (03E57)
Related Items
Compactifications and remainders of monotonically normal spaces, \(\text{PFA}(S)[S\) for the masses], \(\mathrm{PFA}(S)[S\) and locally compact normal spaces], Forcing with a coherent Souslin tree and locally countable subspaces of countably tight compact spaces, A note on a forcing related to the S‐space problem in the extension with a coherent Suslin tree