Realizing an \(\mathrm{AD}^+\) model as a derived model of a premouse
type: Item
instance of: scholarly article
title: Realizing an \(\mathrm{AD}^+\) model as a derived model of a premouse
zbMATH Open document ID: 1373.03088
author: Yizheng Zhu
published in: Annals of Pure and Applied Logic
publication date: 2015-09-29T00:00:00Z
Mathematics Subject Classification ID: 03E15
Mathematics Subject Classification ID: 03E45
Mathematics Subject Classification ID: 03E60
Mathematics Subject Classification ID: 03E55
zbMATH DE Number: 6487140
zbMATH Keywords: inner model theory
zbMATH Keywords: descriptive set theory
zbMATH Keywords: determinacy
zbMATH Keywords: hod mouse
MaRDI profile type: Publication
full work available at URL: j.apal.2015.05.002
OpenAlex ID: W1773684066
cites work: \(\lambda\)-structures and \(s\)-structures: translating the models
cites work: Large Cardinals from Determinacy
cites work: Q4291791
cites work: Q5322161
cites work: Descriptive inner model theory
cites work: Hod mice and the Mouse Set Conjecture
cites work: THE MOUSE SET CONJECTURE FOR SETS OF REALS
cites work: The self-iterability of L[E]
cites work: Deconstructing inner model theory
cites work: Q3656432
cites work: A classification of jump operators
cites work: Q3597425
cites work: An Outline of Inner Model Theory
cites work: Inner models and large cardinals
DOI: 10.1016/J.APAL.2015.05.002
Recommended article: Q3001425
Recommended article: HOD in natural models of \(\mathsf{AD}^+\)
Recommended article: Some supplements to Feferman-Vaught related to the model theory of adeles
Recommended article: Q3093866
Recommended article: Pre-adjunctions and lambda-algebraic theories
Recommended article: Rosen's modelling relations via categorical adjunctions
Recommended article: MODEL THEORY OF DERIVATIONS OF THE FROBENIUS MAP REVISITED
Recommended article: A model structure on prederivators for $(\infty,1)$-categories
Recommended article: Q4362963
Recommended article: Model theory of adeles. I.
description: scientific article; zbMATH DE number 6487140