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

Categories

Keywords

Reprint years

DOI

10.1002/malq.201300061

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,394

External links

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

Through your library

My notes

Similar books and articles

Supercompactness Can Be Equiconsistent with Measurability.Nam Trang - 2021 - Notre Dame Journal of Formal Logic 62 (4):593-618.
How many normal measures can ℵmath image carry?Arthur W. Apter - 2010 - Mathematical Logic Quarterly 56 (2):164-170.
Partial near supercompactness.Jason Aaron Schanker - 2013 - Annals of Pure and Applied Logic 164 (2):67-85.
Indestructibility and measurable cardinals with few and many measures.Arthur W. Apter - 2008 - Archive for Mathematical Logic 47 (2):101-110.
A note on tall cardinals and level by level equivalence.Arthur W. Apter - 2016 - Mathematical Logic Quarterly 62 (1-2):128-132.
More on HOD-supercompactness.Arthur W. Apter, Shoshana Friedman & Gunter Fuchs - 2021 - Annals of Pure and Applied Logic 172 (3):102901.
Supercompactness and measurable limits of strong cardinals II: Applications to level by level equivalence.Arthur W. Apter - 2006 - Mathematical Logic Quarterly 52 (5):457-463.
The HOD Hypothesis and a supercompact cardinal.Yong Cheng - 2017 - Mathematical Logic Quarterly 63 (5):462-472.
Accessing the switchboard via set forcing.Shoshana Friedman - 2012 - Mathematical Logic Quarterly 58 (4-5):303-306.
Indestructibility, measurability, and degrees of supercompactness.Arthur W. Apter - 2012 - Mathematical Logic Quarterly 58 (1):75-82.

Analytics

Added to PP
2015-09-03

Downloads
22 (#973,289)

6 months
6 (#861,180)

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