Autor:	Asperó, David, Cox, Sean, Karagila, Asaf, Weiss, Christoph
Rok vydání:	2019
Předmět:	Mathematics - Logic Primary 03E57 Secondary 03E55 03E35
Druh dokumentu:	Working Paper
Popis:	We study methods to obtain the consistency of forcing axioms, and particularly higher forcing axioms. We first force over a model with a supercompact cardinal $\theta>\kappa$ to get the consistency of the forcing axiom for $\kappa$-strongly proper forcing notions which are also $\kappa$-lattice, and then eliminate the need for large cardinals. The proof goes through a natural reflection property for $\kappa$-strongly proper forcings. We also produce a model of this forcing axiom with $2^\kappa$ arbitrarily large, and prove the inconsistency of certain natural strengthenings of the axiom. Comment: 14 pages
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/1912.02130 Zobrazit plný text záznamu View this record from Arxiv