Iterability for (transfinite) stacks

DOI10.1142/S0219061321500082MaRDI QIDQ5156473zbMATH OpenOpenAlexFDO

Authors Farmer Schlutzenberg

Publication date 18 October 2021

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

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

zbMATH Keywords

condensationnormalizationstackinner modellarge cardinalmouseiteration strategyiterabilityiteration tree

Mathematics Subject Classification ID

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

Recommendations

• Transfinite recursion and computation in the iterative conception of set
• scientific article; zbMATH DE number 6876328
• Hyperations, Veblen progressions and transfinite iteration of ordinal functions
• Bases for parametrized iterativity
• Layer-by-layer infinite iterations of some metrizable functors
• Countable spectrum, transfinite induction and stability
• The iterability hierarchy above \(\mathsf {I3}\)
• Transfinite corecursion
• Finiteness theorems for the Picard objects of an algebraic stack
• scientific article; zbMATH DE number 2169107

Cites work

• scientific article; zbMATH DE number 567513 (Why is no real title available?)
• scientific article; zbMATH DE number 967740 (Why is no real title available?)
• A long pseudo-comparison of premice in \(L[x]\)
• A premouse inheriting strong cardinals from \(V\)
• A weak Dodd-Jensen lemma
• An outline of inner model theory
• Combinatorial principles in the core model for one Woodin cardinal
• Core models with more Woodin cardinals
• Fine structure for tame inner models
• Hod mice and the mouse set conjecture
• Homogeneously Suslin sets in tame mice
• Inner models and large cardinals
• The self-iterability of L[E]
• VARSOVIAN MODELS I

Cited in

(5)

• The definability of \(\mathbb{E}\) in self-iterable mice
• Ideals and strong axioms of determinacy
• Bases for parametrized iterativity
• The comparison lemma
• 𝖲𝖾𝖺𝗅𝗂𝗇𝗀 from iterability

This page was built for publication: Iterability for (transfinite) stacks

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