|
|||||
|
|
A criterion for coarse iterability |
|
| Authors: | Gunter Fuchs Itay Neeman Ralf Schindler |
| Affiliation: | 1. Department of Mathematics, College of Staten Island/Cuny, 2800 Victory Blvd, Staten Island, NY, 10314, USA 2. Department of Mathematics, University of California at Los Angeles, Los Angeles, CA, 90095-1555, USA 3. Institut für Mathematische Logik und Grundlagenforschung, Westf?lische Wilhelms-Universit?t Münster, Einsteinstr. 62, 48149, Münster, Germany |
| Abstract: | The main result of this paper is the following theorem: Let M be a premouse with a top extender, F. Suppose that (a) M is linearly coarsely iterable via hitting F and its images, and (b) if M * is a linear iterate of M as in (a), then M * is coarsely iterable with respect to iteration trees which do not use the top extender of M * and its images. Then M is coarsely iterable. |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |