Derived models and supercompact measures on
The main result of this paper is Theorem , which shows that it is possible for derived models to satisfy “ω 1 is ‐supercompact”. Other constructions of models of this theory are also discussed; in particular, Theorem constructs a normal fine measure on and hence a model of “Θ is regular”+“ω 1 is ‐su...
Gespeichert in:
| Veröffentlicht in: | Mathematical logic quarterly 2015-02, Vol.61 (1-2), p.56-65 |
|---|---|
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | eng |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Zusammenfassung: | The main result of this paper is Theorem
, which shows that it is possible for derived models to satisfy
“ω
1
is
‐supercompact”. Other constructions of models of this theory are also discussed; in particular, Theorem
constructs a normal fine measure on
and hence a model of
“Θ is regular”+“ω
1
is
‐supercompact” from a model of
“Θ is measurable”. |
|---|---|
| ISSN: | 0942-5616 1521-3870 |
| DOI: | 10.1002/malq.201300061 |