The definability of E in self-iterable mice

DOI10.1016/J.APAL.2022.103208OpenAlexW4307483527MaRDI QIDQ2105098FDOQ2105098

Farmer Schlutzenberg

Publication date: 8 December 2022

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1412.0085

zbMATH Keywords

extenderinner modelmousedefinablebicephalusself-iterable

Mathematics Subject Classification ID

Large cardinals (03E55) Applications of set theory (03E75) Inner models, including constructibility, ordinal definability, and core models (03E45) Set theory (03E99)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Sets constructed from sequences of measures: Revisited
• An Outline of Inner Model Theory
• Sets constructible from sequences of ultrafilters
• Some applications of iterated ultrapowers in set theory
• Inner models and large cardinals
• Core models in the presence of Woodin cardinals
• The covering lemma up to a Woodin cardinal
• Combinatorial principles in the core model for one Woodin cardinal
• Homogeneously Suslin sets in tame mice
• Deconstructing inner model theory
• Hod mice and the Mouse Set Conjecture
• The self-iterability of L[E]
• Projectively well-ordered inner models
• The maximality of the core model
• Core models with more Woodin cardinals
• Fine structure for tame inner models
• Iterability for (transfinite) stacks
• A long pseudo-comparison of premice in \(L[x]\)
• Reinhardt cardinals and iterates of \(V\)

Cited In (3)

• The self-iterability of L[E]
• Fine structure for tame inner models
• The definability of $\mathbb{E}$ in self-iterable mice

Recommendations

• Title not available (Why is that?) 👍 👎
• Definability, Automorphisms, and Dynamic Properties of Computably Enumerable Sets 👍 👎
• THE MOUSE SET CONJECTURE FOR SETS OF REALS 👍 👎
• \(\lambda\)-definability and recursiveness 👍 👎
• The definability of E(α) 👍 👎
• Definability in the Recursively Enumerable Degrees 👍 👎
• Iterated Definability, Lawless Sequences, and Brouwer’s Continuum 👍 👎
• A long and winding road to definable sets 👍 👎
• Definable sets of real numbers, infinite games and core model theory 👍 👎
• Definable continuous mappings and Whyburn’s conjecture 👍 👎

This page was built for publication: The definability of \(\mathbb{E}\) in self-iterable mice

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