Derived models and supercompact measures on |
| |
| Authors: | Nam Trang |
| |
| Institution: | Department of Mathematical Sciences, Carnegie Mellon University, Pittsburgh, PA, United States of America |
| |
| Abstract: | The main result of this paper is Theorem 1.1 , 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 4.1 constructs a normal fine measure on  and hence a model of  “Θ is regular”+“ω1 is  ‐supercompact” from a model of  “Θ is measurable”. |
| |
| Keywords: | |
|
|
