Dissertation/Thesis Abstract

Contributions to Descriptive Inner Model Theory
by Wilson, Trevor Miles, Ph.D., University of California, Berkeley, 2012, 102; 3555999
Abstract (Summary)

Descriptive inner model theory is the study of connections between descriptive set theory and inner model theory. Such connections form the basis of the core model induction, which we use to prove relative consistency results relating strong forms of the Axiom of Determinacy with the existence of a strong ideal on having a certain property related to homogeneity. The main innovation is a unified approach to the "gap in scales" step of the core model induction.

Indexing (document details)
Advisor: Steel, John R.
Commitee: Roush, Sherrilyn, Woodin, Hugh
School: University of California, Berkeley
Department: Mathematics
School Location: United States -- California
Source: DAI-B 74/07(E), Dissertation Abstracts International
Source Type: DISSERTATION
Subjects: Applied Mathematics, Logic, Mathematics
Keywords: Connections, Core model induction, Descriptive inner model theory, Determinacy, Homogeneity
Publication Number: 3555999
ISBN: 9781267976178