Realizing an AD^+ model as a derived model of a premouse

DOI10.1016/J.APAL.2015.05.002MaRDI QIDQ499078zbMATH OpenOpenAlexFDO

Authors Yizheng Zhu

Publication date 29 September 2015

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

Full work available at URL https://doi.org/10.1016/j.apal.2015.05.002

zbMATH Keywords

determinacydescriptive set theoryhod mouseinner model theory

Mathematics Subject Classification ID

Descriptive set theory (03E15) Large cardinals (03E55) Inner models, including constructibility, ordinal definability, and core models (03E45) Determinacy principles (03E60)

Recommendations

• A trichotomy theorem in natural models of \(\text{AD}^+\)
• HOD in natural models of \(\mathsf{AD}^+\)
• Some supplements to Feferman-Vaught related to the model theory of adeles
• A model-theoretic counterpart to Moishezon morphisms
• Pre-adjunctions and lambda-algebraic theories
• Rosen's modelling relations via categorical adjunctions
• MODEL THEORY OF DERIVATIONS OF THE FROBENIUS MAP REVISITED
• A model structure on prederivators for $(\infty,1)$-categories
• scientific article; zbMATH DE number 1086714
• Model theory of adeles. I.

Cites work

• scientific article; zbMATH DE number 5504385 (Why is no real title available?)
• scientific article; zbMATH DE number 567513 (Why is no real title available?)
• A classification of jump operators
• An outline of inner model theory
• Deconstructing inner model theory
• Descriptive inner model theory
• Descriptive set theory
• Hod mice and the mouse set conjecture
• Inner models and large cardinals
• Large cardinals from determinacy
• The derived model theorem
• The mouse set conjecture for sets of reals
• The self-iterability of L[E]
• \(\lambda\)-structures and \(s\)-structures: translating the models

Cited in

(6)

• HOD in natural models of \(\mathsf{AD}^+\)
• A stationary-tower-free proof of the derived model theorem
• The exact consistency strength of the generic absoluteness for the universally Baire sets
• Derived models and supercompact measures on \(\wp_{\omega_1}(\wp(\mathbb{R}))\)
• A premouse inheriting strong cardinals from \(V\)
• Determinacy axioms and large cardinals

This page was built for publication: Realizing an \(\mathrm{AD}^+\) model as a derived model of a premouse

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