Supercompactness Can Be Equiconsistent with Measurability

Notre Dame Journal of Formal Logic 62 (4):593-618 (2021)
  Copy   BIBTEX

Abstract

The main result of this paper, built on previous work by the author and T. Wilson, is the proof that the theory “ADR+DC + there is an R-complete measure on Θ” is equiconsistent with “ZF+DC+ ADR + there is a supercompact measure on ℘ω1(℘(R))+Θ is regular.” The result and techniques presented here contribute to the general program of descriptive inner model theory and in particular, to the general study of compactness phenomena in the context of ZF+DC.

Categories

Keywords

Reprint years

DOI

10.1215/00294527-2021-0031

Other Versions

No versions found

Links

PhilArchive



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

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

An Inner Model Proof of the Strong Partition Property for $delta^{2}_{1}$.Grigor Sargsyan - 2014 - Notre Dame Journal of Formal Logic 55 (4):563-568.
Descriptive inner model theory.Grigor Sargsyan - 2013 - Bulletin of Symbolic Logic 19 (1):1-55.
A Covering Lemma for HOD of K (ℝ).Daniel W. Cunningham - 2010 - Notre Dame Journal of Formal Logic 51 (4):427-442.
On HOD-supercompactness.Grigor Sargsyan - 2008 - Archive for Mathematical Logic 47 (7-8):765-768.
Note on Implying.Sean Cody - 2024 - Journal of Symbolic Logic 89 (1):211-217.
Derived models and supercompact measures on.Nam Trang - 2015 - Mathematical Logic Quarterly 61 (1-2):56-65.
Divergent Models with the Failure of the Continuum Hypothesis.Nam Trang - forthcoming - Journal of Symbolic Logic:1-11.
Mouse sets.Mitch Rudominer - 1997 - Annals of Pure and Applied Logic 87 (1):1-100.
The largest countable inductive set is a mouse set.Mitch Rudominer - 1999 - Journal of Symbolic Logic 64 (2):443-459.
Is there a set of reals not in K(R)?Daniel W. Cunningham - 1998 - Annals of Pure and Applied Logic 92 (2):161-210.

Analytics

Added to PP
2023-01-18

Downloads
13 (#1,324,742)

6 months
4 (#1,252,858)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Proper forcing and l(ℝ).Itay Neeman & Jindrich Zapletal - 2001 - Journal of Symbolic Logic 66 (2):801-810.
Determinacy in L.Nam Trang - 2014 - Journal of Mathematical Logic 14 (1):1450006.
AD and the supercompactness of ℵ1.Howard Becker - 1981 - Journal of Symbolic Logic 46 (4):822-842.
Hod up to A D R + Θ is measurable.Rachid Atmai & Grigor Sargsyan - 2019 - Annals of Pure and Applied Logic 170 (1):95-108.
Derived models and supercompact measures on.Nam Trang - 2015 - Mathematical Logic Quarterly 61 (1-2):56-65.

View all 6 references / Add more references