Add to ORKGAssume AD+V=L(R). In the first chapter, let W^1_1 denote the club measure on \omega_1. We analyze the embedding j_{W^1_1}\restr HOD from the point of view of inner model theory. We use our analysis to answer a question of Jackson-Ketchersid about codes for ordinals less than \omega_\omega. In the second chapter, we provide an indiscernibles analysis for models of the form L[T_n,x]. We use our analysis to provide new proofs of the strong partition property on \delta^1_{2n+1
We consider several partition relations and describe models of $ZF$ which can be used to distinguish...
Abstract. Let ν be a finite countably subadditive outer measure defined on all subsets of a set X, t...
A Borel probability measure μ in the Hubert cube is homeomorphic to the usual product measure if and...
In this dissertation we study closure properties of pointclasses, scales on sets of reals and the mo...
Descriptive inner model theory is the study of connections between descriptive set theory and inner ...
Descriptive inner model theory is the study of connections between descriptive set theory and inner ...
It is shown that, within L(R), the smallest inner model of set theory containing the reals, the axio...
This thesis belongs to the field of descriptive inner model theory. Chapter 1 provides aproper conte...
We offer a new operation on the class of concrete logics based on a partition generated by a two-val...
This present paper is concerned with set functions related to {0,1} two valued measures. These set f...
Outer and inner measures of a measure μ are defined and used to prove results involving them on a la...
Let ν be a finite countably subadditive outer measure defined on all subsets of a set X, take a coll...
It is shown that if every real has a sharp and every subset of ω1 is con-structible from a real, the...
AbstractWe show, using the fine structure of K(R), that the theory ZF + AD + ∃X ⊆ R[X ∉ K(R)] implie...
Abstract. We propose a simple notion of “extender ” for coding large elementary embeddings of models...
We consider several partition relations and describe models of $ZF$ which can be used to distinguish...
Abstract. Let ν be a finite countably subadditive outer measure defined on all subsets of a set X, t...
A Borel probability measure μ in the Hubert cube is homeomorphic to the usual product measure if and...
In this dissertation we study closure properties of pointclasses, scales on sets of reals and the mo...
Descriptive inner model theory is the study of connections between descriptive set theory and inner ...
Descriptive inner model theory is the study of connections between descriptive set theory and inner ...
It is shown that, within L(R), the smallest inner model of set theory containing the reals, the axio...
This thesis belongs to the field of descriptive inner model theory. Chapter 1 provides aproper conte...
We offer a new operation on the class of concrete logics based on a partition generated by a two-val...
This present paper is concerned with set functions related to {0,1} two valued measures. These set f...
Outer and inner measures of a measure μ are defined and used to prove results involving them on a la...
Let ν be a finite countably subadditive outer measure defined on all subsets of a set X, take a coll...
It is shown that if every real has a sharp and every subset of ω1 is con-structible from a real, the...
AbstractWe show, using the fine structure of K(R), that the theory ZF + AD + ∃X ⊆ R[X ∉ K(R)] implie...
Abstract. We propose a simple notion of “extender ” for coding large elementary embeddings of models...
We consider several partition relations and describe models of $ZF$ which can be used to distinguish...
Abstract. Let ν be a finite countably subadditive outer measure defined on all subsets of a set X, t...
A Borel probability measure μ in the Hubert cube is homeomorphic to the usual product measure if and...