Add to ORKGThis book constructs an inner model with a Woodin cardinal and develops its fine structure theory using the theory of iteration trees
This textbook gives an introduction to axiomatic set theory and examines the prominent questions tha...
The $n$th term of an automatic sequence is the output of a deterministicfinite automaton fed with th...
Abstract. We work out the details of a schema for a mixed support forcing iteration, which generaliz...
AbstractWe extend the theory of “Fine structure and iteration trees” to models having more than one ...
AbstractIn this paper we continue the line of work initiated in “Building iteration trees”. It is sh...
International audienceIn the early seventies, Shelah proposed a model-theoretic construction, nowada...
AbstractWe study the fine structure of the core model for one Woodin cardinal, building of the work ...
Abstract. The main aim of fine structure theory and inner model theory can be summarized as the cons...
AbstractSynchronization trees are shown to form an iteration theory in a natural way. The class of g...
In support of the Inner Model Program, we establish that a strengthening of well-foundedness, strong...
“In the setting of algebraic theories enriched with an external fixed-point operation, the no-tion o...
AbstractThis paper establishes the relationship between regular trees, equationally defined trees, a...
If the universe V of sets does not have within it very complicated canonical inner models for large ...
It is shown that if every real has a sharp and every subset of ω1 is con-structible from a real, the...
An important technique in large cardinal set theory is that of ex-tending an elementary embedding j:...
This textbook gives an introduction to axiomatic set theory and examines the prominent questions tha...
The $n$th term of an automatic sequence is the output of a deterministicfinite automaton fed with th...
Abstract. We work out the details of a schema for a mixed support forcing iteration, which generaliz...
AbstractWe extend the theory of “Fine structure and iteration trees” to models having more than one ...
AbstractIn this paper we continue the line of work initiated in “Building iteration trees”. It is sh...
International audienceIn the early seventies, Shelah proposed a model-theoretic construction, nowada...
AbstractWe study the fine structure of the core model for one Woodin cardinal, building of the work ...
Abstract. The main aim of fine structure theory and inner model theory can be summarized as the cons...
AbstractSynchronization trees are shown to form an iteration theory in a natural way. The class of g...
In support of the Inner Model Program, we establish that a strengthening of well-foundedness, strong...
“In the setting of algebraic theories enriched with an external fixed-point operation, the no-tion o...
AbstractThis paper establishes the relationship between regular trees, equationally defined trees, a...
If the universe V of sets does not have within it very complicated canonical inner models for large ...
It is shown that if every real has a sharp and every subset of ω1 is con-structible from a real, the...
An important technique in large cardinal set theory is that of ex-tending an elementary embedding j:...
This textbook gives an introduction to axiomatic set theory and examines the prominent questions tha...
The $n$th term of an automatic sequence is the output of a deterministicfinite automaton fed with th...
Abstract. We work out the details of a schema for a mixed support forcing iteration, which generaliz...