The self-iterability of L[E]

DOI10.2178/JSL/1245158084MaRDI QIDQ3399177zbMATH OpenOpenAlexFDO

Authors Ralf Schindler, John Steel

Publication date 29 September 2009

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2178/jsl/1245158084

zbMATH Keywords

cutpointdiamonditerable tame extender modeliteration trees

Mathematics Subject Classification ID

Inner models, including constructibility, ordinal definability, and core models (03E45)

Recommendations

• Iteration of self-maps on a product of Hilbert balls
• The definability of \(\mathbb{E}\) in self-iterable mice
• On iterates of fully closed absolutes
• Self-similarity in the collection of -limit sets
• Lindelöf property and the iterated continuous function spaces
• Iterative fixed points of non-Lipschitzian self-mappings
• The Borel structure of iterates of continuous functions
• scientific article; zbMATH DE number 1019324
• A boundedness lemma for iterations
• On sequences of iterations of increasing and continuous mappings on complete lattices

Cites work

• A universal extender model without large cardinals in V
• Core models in the presence of Woodin cardinals
• Core models with more Woodin cardinals
• scientific article; zbMATH DE number 967740 (Why is no real title available?)
• The covering lemma up to a Woodin cardinal
• Two cardinal versions of diamond
• Weak covering without countable closure

Cited in

(36)

• The strength of choiceless patterns of singular and weakly compact cardinals
• On a class of maximality principles
• A Solovay-like model for singular generalized descriptive set theory
• The definability of \(\mathbb{E}\) in self-iterable mice
• Lebesgue's density theorem and definable selectors for ideals
• Inner-model reflection principles
• \(AD_{\mathbb{R}}\) implies that all sets of reals are \(\Theta\) universally Baire
• HOD in natural models of \(\mathsf{AD}^+\)
• Thin equivalence relations and inner models
• An inner model proof of the strong partition property for _1²
• Boolean-valued second-order logic
• On the prewellorderings associated with the directed systems of mice
• Nontame mouse from the failure of square at a singular strong limit cardinal
• Woodin's axiom \((*)\), bounded forcing axioms, and precipitous ideals on \(\omega _{1}\)
• Hod mice and the mouse set conjecture
• Determinacy from strong reflection
• VARSOVIAN MODELS I
• Mice with finitely many Woodin cardinals from optimal determinacy hypotheses
• Realizing an \(\mathrm{AD}^+\) model as a derived model of a premouse
• HOD in inner models with Woodin cardinals
• PFA and guessing models
• On the derived models of self-iterable universes
• The definable tree property for successors of cardinals
• The consistency strength of long projective determinacy
• Iterability for (transfinite) stacks
• Woodin’s axiom (*), or Martin’s Maximum, or both?
• How to win some simple iteration games
• NEGATIVE RESULTS ON PRECIPITOUS IDEALS ON
• Ideals and strong axioms of determinacy
• Unreachability of inductive-like pointclasses in \(L(\mathbb{R})\)
• Hjorth's reflection argument
• The consistency strength of determinacy when all sets are universally Baire
• Unreachability of \(\mathbf{ \Gamma }_{\mathbf{2n}+\mathbf{1},\mathbf{m}} \)
• An explicit collapse for a dense filter
• Analysis of HOD for admissible structures
• Ordinal definability in \(L[\mathbb{E}]\)

This page was built for publication: The self-iterability of L[E]

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