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...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Mathematical logic quarterly 2015-02, Vol.61 (1-2), p.56-65
1. Verfasser:	Trang, Nam
Format:	Artikel
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!