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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,322

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

Failure of GCH and the level by level equivalence between strong compactness and supercompactness.Arthur W. Apter - 2003 - Mathematical Logic Quarterly 49 (6):587.
Indestructibility, measurability, and degrees of supercompactness.Arthur W. Apter - 2012 - Mathematical Logic Quarterly 58 (1):75-82.
Indestructibility and measurable cardinals with few and many measures.Arthur W. Apter - 2008 - Archive for Mathematical Logic 47 (2):101-110.
[Omnibus Review].Carlos Augusto Priscdio - 1991 - Journal of Symbolic Logic 56 (3):1098-1100.
Inner models with large cardinal features usually obtained by forcing.Arthur W. Apter, Victoria Gitman & Joel David Hamkins - 2012 - Archive for Mathematical Logic 51 (3-4):257-283.
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.
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.
On a combinatorial property of Menas related to the partition property for measures on supercompact cardinals.Kenneth Kunen & Donald H. Pelletier - 1983 - Journal of Symbolic Logic 48 (2):475-481.
On measurable limits of compact cardinals.Arthur W. Apter - 1999 - Journal of Symbolic Logic 64 (4):1675-1688.
$P_kappalambda$ Combinatorics II: The RK Ordering Beneath a Supercompact Measure.William S. Zwicker - 1986 - Journal of Symbolic Logic 51 (3):604-616.
Coding into HOD via normal measures with some applications.Arthur W. Apter & Shoshana Friedman - 2011 - Mathematical Logic Quarterly 57 (4):366-372.
Pκλ combinatorics II: The RK ordering beneath a supercompact measure.William S. Zwicker - 1986 - Journal of Symbolic Logic 51 (3):604 - 616.
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
10 (#1,160,791)

6 months
4 (#818,853)

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