Large cardinals and large dilators

Journal of Symbolic Logic 63 (4):1496-1510 (1998)
  Copy   BIBTEX

Abstract

Applying Woodin's non-stationary tower notion of forcing, I prove that the existence of a supercompact cardinal κ in V and a Ramsey dilator in some small forcing extension V[G] implies the existence in V of a measurable dilator of size κ, measurable by κ-complete measures

Categories

Keywords

Reprint years

DOI

10.2307/2586663

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 99,410

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

Co-stationarity of the Ground Model.Natasha Dobrinen & Sy-David Friedman - 2006 - Journal of Symbolic Logic 71 (3):1029 - 1043.
Indestructibility, instances of strong compactness, and level by level inequivalence.Arthur W. Apter - 2010 - Archive for Mathematical Logic 49 (7-8):725-741.
Tall cardinals.Joel D. Hamkins - 2009 - Mathematical Logic Quarterly 55 (1):68-86.
Indestructibility, measurability, and degrees of supercompactness.Arthur W. Apter - 2012 - Mathematical Logic Quarterly 58 (1):75-82.
Partial near supercompactness.Jason Aaron Schanker - 2013 - Annals of Pure and Applied Logic 164 (2):67-85.
The lottery preparation.Joel David Hamkins - 2000 - Annals of Pure and Applied Logic 101 (2-3):103-146.
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.
Indestructibility and measurable cardinals with few and many measures.Arthur W. Apter - 2008 - Archive for Mathematical Logic 47 (2):101-110.
Ramsey-like cardinals.Victoria Gitman - 2011 - Journal of Symbolic Logic 76 (2):519 - 540.
Weakly measurable cardinals.Jason A. Schanker - 2011 - Mathematical Logic Quarterly 57 (3):266-280.

Analytics

Added to PP
2009-01-28

Downloads
72 (#245,091)

6 months
10 (#294,162)

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

[product]¹2-logic, Part 1: Dilators.Jean-Yves Girard - 1981 - Annals of Mathematical Logic 21 (2):75.
Π12-logic, Part 1: Dilators.Jean-Yves Girard - 1981 - Annals of Mathematical Logic 21 (2-3):75-219.
Descriptive Set Theory.Yiannis Nicholas Moschovakis - 1982 - Studia Logica 41 (4):429-430.
Set recursion and Πhalf-logic.Jean-Yves Girard & Dag Normann - 1985 - Annals of Pure and Applied Logic 28 (3):255-286.
A strong boundedness theorem for dilators.A. S. Kechris & W. H. Woodin - 1991 - Annals of Pure and Applied Logic 52 (1-2):93-97.

View all 6 references / Add more references