• Corpus ID: 173991189

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

@article{Schlutzenberg2019TheDO,
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},
year={2019}
}
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…

## References

SHOWING 1-8 OF 8 REFERENCES

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
• Mathematics, Philosophy
Journal of Symbolic Logic
• 1996
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]
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.
• Mathematics
• 2016
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
• 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.