Determinacy in L

Journal of Mathematical Logic 14 (1):1450006 (2014)
  Copy   BIBTEX

Abstract

Assume V = L ⊨ ZF + DC + Θ > ω2 + μ is a normal fine measure on

Categories

Keywords

Reprint years

DOI

10.1142/s0219061314500068

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

Analytics

Added to PP
2014-06-28

Downloads
23 (#658,616)

6 months
3 (#1,002,198)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Structure theory of L and its applications.Nam Trang - 2015 - Journal of Symbolic Logic 80 (1):29-55.
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

Characterization of □κin core models.Ernest Schimmerling & Martin Zeman - 2004 - Journal of Mathematical Logic 4 (01):1-72.
PFA Implies ADL(R).John R. Steel - 2005 - Journal of Symbolic Logic 70 (4):1255 - 1296.
Scales in K at the end of a weak gap.J. R. Steel - 2008 - Journal of Symbolic Logic 73 (2):369-390.
Scales in K(R) at the End of a Weak Gap.J. R. Steel - 2008 - Journal of Symbolic Logic 73 (2):369 - 390.
Long projective wellorderings.Leo Harrington - 1977 - Annals of Mathematical Logic 12 (1):1.

Add more references