Forcing consequences of PFA together with the continuum large

Aspero, David and Mota, Miguel Angel (2015) Forcing consequences of PFA together with the continuum large. Transactions of the American Mathematical Society, 367 (9). pp. 6103-6129. ISSN 0002-9947

Preview

PDF (tran6205ToAuthor) - Accepted Version Available under License Other licence. Download (530kB) | Preview

Abstract

We develop a new method for building forcing iterations with symmetric systems of structures as side conditions. Using our method we prove that the forcing axiom for the class of all the finitely proper posets of small size is compatible with the continuum being larger than the second uncountable cardinal . In particular, this answers a question of Justin Moore by showing that ? does not follow from this arithmetical assumption.

Item Type:	Article
Faculty \ School:	Faculty of Science > School of Mathematics (former - to 2024)
UEA Research Groups:	Faculty of Science > Research Groups > Logic (former - to 2024) Faculty of Science > Research Groups > Algebra, Number Theory, Logic, and Representations (ANTLR)
Depositing User:	Pure Connector
Date Deposited:	01 Nov 2013 13:50
Last Modified:	14 Apr 2025 00:02
URI:	https://ueaeprints.uea.ac.uk/id/eprint/44058
DOI:	10.1090/S0002-9947-2015-06205-9

Downloads

Actions (login required)

View Item