Realizing an AD^+ model as a derived model of a premouse
From MaRDI portal
Publication:499078
DOI10.1016/J.APAL.2015.05.002zbMATH Open1373.03088OpenAlexW1773684066MaRDI QIDQ499078FDOQ499078
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
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.
Descriptive set theory (03E15) Large cardinals (03E55) Inner models, including constructibility, ordinal definability, and core models (03E45) Determinacy principles (03E60)
Cites Work
- An outline of inner model theory
- Inner models and large cardinals
- Large cardinals from determinacy
- Descriptive set theory
- Title not available (Why is that?)
- Title not available (Why is that?)
- Descriptive inner model theory
- Deconstructing inner model theory
- The derived model theorem
- Hod mice and the Mouse Set Conjecture
- A classification of jump operators
- The self-iterability of L[E]
- THE MOUSE SET CONJECTURE FOR SETS OF REALS
- \(\lambda\)-structures and \(s\)-structures: translating the models
Cited In (3)
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)
