Derived models and supercompact measures on

Mathematical Logic Quarterly 61 (1-2):56-65 (2015)
  Copy   BIBTEX

Abstract

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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,168

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

[Omnibus Review].Carlos Augusto Priscdio - 1991 - Journal of Symbolic Logic 56 (3):1098-1100.
Partial near supercompactness.Jason Aaron Schanker - 2013 - Annals of Pure and Applied Logic 164 (2):67-85.
Some structural results concerning supercompact cardinals.Arthur W. Apter - 2001 - Journal of Symbolic Logic 66 (4):1919-1927.
On measurable limits of compact cardinals.Arthur W. Apter - 1999 - Journal of Symbolic Logic 64 (4):1675-1688.
Accessing the switchboard via set forcing.Shoshana Friedman - 2012 - Mathematical Logic Quarterly 58 (4-5):303-306.
Tallness and level by level equivalence and inequivalence.Arthur W. Apter - 2010 - Mathematical Logic Quarterly 56 (1):4-12.

Analytics

Added to PP
2015-09-03

Downloads
13 (#1,040,014)

6 months
4 (#796,773)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Supercompactness Can Be Equiconsistent with Measurability.Nam Trang - 2021 - Notre Dame Journal of Formal Logic 62 (4):593-618.

Add more citations

References found in this work

No references found.

Add more references