|
|||||
|
|
Removing Laver functions from supercompactness arguments |
|
| Authors: | Arthur W. Apter |
| Abstract: | We show how the use of a Laver function in the proof of the consistency, relative to the existence of a supercompact cardinal, of both the Proper Forcing Axiom and the Semiproper Forcing Axiom can be eliminated via the use of lottery sums of the appropriate partial orderings. (© 2005 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim) |
| Keywords: | Supercompact cardinal proper forcing axiom semiproper forcing axiom lottery sum strong cardinal |