• Corpus ID: 173991189

The definability of the extender sequence $\mathbb{E}$ from $\mathbb{E}{\upharpoonright}\aleph_1$ in $L[\mathbb{E}]$.

  title={The definability of the extender sequence \$\mathbb\{E\}\$ from \$\mathbb\{E\}\{\upharpoonright\}\aleph\_1\$ in \$L[\mathbb\{E\}]\$.},
  author={Farmer Schlutzenberg},
  journal={arXiv: Logic},
Let $M$ be an iterable fine structural mouse. We prove that if $E\in M$ and $M\models$``$E$ is a countably complete short extender whose support is a cardinal $\theta$ and $\mathcal{H}_\theta\subseteq\mathrm{Ult}(V,E)$'' then $E$ is in the extender sequence $\mathbb{E}^M$ of $M$. We also prove other related facts, and use them to establish that if $\kappa$ is an uncountable cardinal of $M$ and $(\kappa^+)^M$ exists in $M$ then $(\mathcal{H}_{\kappa^+})^M$ satisfies the Axiom of Global Choice… 



Measures in Mice

This thesis analyses extenders in fine structural mice. Kunen showed that in the inner model for one measurable cardinal, there is a unique measure. This result is generalized, in various ways, to

A premouse inheriting strong cardinals from V

The definability of E in self-iterable mice

Fine structure for tame inner models

In this paper, we solve the strong uniqueness problem posed in [St2]. That is, we extend the full fine structure theory of [MiSt] to backgrounded models all of whose levels are tame (defined in [St2]

Combinatorial Principle in the Core Model for one Woodin Cardinal

Dodd parameters and λ-Indexing of Extenders

These properties are one of the key tools in various combinatorial constructions, such as constructions of square sequences and morasses, in Jensen extender models with λ-indexing.

The fine structure of operator mice

We develop the theory of abstract fine structural operators and operator-premice. We identify properties, which we require of operator-premice and operators, which ensure that certain basic facts

Core models in the presence of Woodin cardinals

  • R. Schindler
  • Environmental Science
    Journal of Symbolic Logic
  • 2006
An Iterability Inheritance Hypothesis is isolated which is shown to imply an optimal correctness result for K, the core model K, which exists in a sense made precise.