The definability of E in self-iterable mice

DOI10.1016/J.APAL.2022.103208OpenAlexW4307483527MaRDI QIDQ2105098FDOQ2105098

Authors: 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

Recommendations

• The definability of E(α)
• Iterated definability, lawless sequences, and Brouwer's continuum
• Definability in the Recursively Enumerable Degrees
• A long and winding road to definable sets
• scientific article; zbMATH DE number 1984520
• \(\lambda\)-definability and recursiveness
• The mouse set conjecture for sets of reals
• Definable sets of real numbers, infinite games and core model theory
• Definable continuous mappings and Whyburn’s conjecture
• Definability, Automorphisms, and Dynamic Properties of Computably Enumerable Sets

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

• 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
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• 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

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)