Structure theory of L and its applications

Journal of Symbolic Logic 80 (1):29-55 (2015)
  Copy   BIBTEX

Abstract

In this paper, we explore the structure theory ofL under the hypothesisL ⊧ “AD +μis a normal fine measure on” and give some applications. First we show that “ ZFC + there existω2Woodin cardinals”1has the same consistency strength as “ AD +ω1is ℝ-supercompact”. During this process we show that ifL ⊧ AD then in factL ⊧ AD+. Next we prove important properties ofL including Σ1-reflection and the uniqueness ofμinL. Then we give the computation of full HOD inL. Finally, we use Σ1-reflection and ℙmaxforcing to construct a certain ideal on that has the same consistency strength as “ZFC+ there existω2Woodin cardinals.”

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,261

External links

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

Through your library

Similar books and articles

Generalized measure theory.Stanley Gudder - 1973 - Foundations of Physics 3 (3):399-411.
A Theory of Social Facts.John Hund - 1998 - Dissertation, University of South Africa (South Africa)
Applications of the topological representation of the pcf-structure.Luís Pereira - 2008 - Archive for Mathematical Logic 47 (5):517-527.
Bayesianism II: Applications and Criticisms.Kenny Easwaran - 2011 - Philosophy Compass 6 (5):321-332.
Concepts.Eric Margolis & Stephen Laurence - 2003 - In Stephen P. Stich & Ted A. Warfield (eds.), Blackwell Guide to Philosophy of Mind. Blackwell. pp. 190-213.
Conflict and structure in decision-making systems «.T. R. Burns & D. Meeker - 1978 - In A. Hooker, J. J. Leach & E. F. McClennen (eds.), Foundations and Applications of Decision Theory. D. Reidel. pp. 1.
Structure in mathematics.Saunders Lane - 1996 - Philosophia Mathematica 4 (2):174-183.
Symmetry and the Metaphysics of Physics.David John Baker - 2010 - Philosophy Compass 5 (12):1157-1166.
Shelah's pcf theory and its applications.Maxim R. Burke & Menachem Magidor - 1990 - Annals of Pure and Applied Logic 50 (3):207-254.
Structure and Agency.Mike O'Donnell (ed.) - 2010 - Sage Publications.

Analytics

Added to PP
2016-06-30

Downloads
23 (#685,787)

6 months
4 (#798,951)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Determinacy from strong compactness of ω1.Nam Trang & Trevor M. Wilson - 2021 - Annals of Pure and Applied Logic 172 (6):102944.

Add more citations

References found in this work

Determinacy in L.Nam Trang - 2014 - Journal of Mathematical Logic 14 (1):1450006.

Add more references