The definability of the extender sequence \mathbb{E} from \mathbb{E}{\upharpoonright}\aleph₁ in L[\mathbb{E}]

Abstract: Let

M

be an iterable fine structural mouse. We prove that if

E i n M

and

M m o d e l s

``

E

is a countably complete short extender whose support is a cardinal

h e t a

and

m a t h c a l H_{h} e t a s u b s e t e q m a t h r m U l t (V, E)

then $E$ is in the extender sequence $m a t h b b E^{M}$ of $M$ . We also prove other related facts, and use them to establish that if $k a p p a$ is an uncountable cardinal of $M$ and $(k a p p a^{+})^{M}$ exists in $M$ then $(m a t h c a l H_{k a p p a^{+}})^{M}$ satisfies the Axiom of Global Choice. We then prove that if $M$ satisfies the Power Set Axiom then $m a t h b b E^{M}$ is definable over the universe of $M$ from the parameter $X = m a t h b b E^{M} u p h a r p o o n r i g h t a l e p h_{1}^{M}$ , and therefore $M$ satisfies ``Every set is $m a t h r m {O D}_{X}$ . We also prove various local versions of this fact in which

M

has a largest cardinal, and a version for generic extensions of

M

. As a consequence, for example, the minimal proper class mouse with a Woodin limit of Woodin cardinals models ``

V = m a t h r m H O D

. This adapts to many other similar examples. We also describe a simplified approach to Mitchell-Steel fine structure, which does away with the parameters $u_{n}$ .

Cited in

(3)

This page was built for publication: The definability of the extender sequence $\mathbb{E}$ from $\mathbb{E}{\upharpoonright}\aleph_1$ in $L[\mathbb{E}]$

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6319792)