|
|||||
|
|
The domestic levels ofK c are iterable |
|
| Authors: | Alessandro Andretta Itay Neeman John Steel |
| Institution: | (1) Dipartimento di Matematica, Universitá di Torino, Italy;(2) Department of Mathematics, University of California Los Angeles, 90095-1555 Los Angeles, CA, USA;(3) Department of Mathematics, University of California Berkeley, 94720-3840 Berkeley, CA, USA |
| Abstract: | We show that the models produced by theK c construction before (if ever) it reaches a non-domestic premouse are all iterable. As a corollary we get thatPFA plus the existence of a measurable cardinal implies the existence of a non-domestic premouse. Partially supported by the Italian MURST. Research partially supported by NSF grant DMS 98-03292. Research partially supported by NSF grant DMS 98-03611. |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |