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

Annals of Pure and Applied Logic 166 (12):1275-1364 (2015)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2015.05.002

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,779

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A premouse inheriting strong cardinals from V.Farmer Schlutzenberg - 2020 - Annals of Pure and Applied Logic 171 (9):102826.
On the notion of Guessing model.Matteo Viale - forthcoming - Annals of Pure and Applied Logic.
Modal model theory.Maarten De Rijke - forthcoming - Annals of Pure and Applied Logic.
Model theory of modules.Martin Ziegler - 1984 - Annals of Pure and Applied Logic 26 (2):149-213.
The model "N" = [union].Claude Sureson - 1987 - Annals of Pure and Applied Logic 36:289.
A new model for intuitionistic analysis.Philip Scowcroft - 1990 - Annals of Pure and Applied Logic 47 (2):145-165.
Remarks in abstract model theory.Saharon Shelah - 1985 - Annals of Pure and Applied Logic 29 (3):255-288.
A model of Cummings and Foreman revisited.Spencer Unger - 2014 - Annals of Pure and Applied Logic 165 (12):1813-1831.
Chang's model and covering properties.Claude Sureson - 1989 - Annals of Pure and Applied Logic 42 (1):45-79.
Model theory of adeles I.Jamshid Derakhshan & Angus Macintyre - 2022 - Annals of Pure and Applied Logic 173 (3):103074.

Analytics

Added to PP
2015-09-02

Downloads
18 (#825,698)

6 months
5 (#836,975)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Deconstructing inner model theory.Ralf-Dieter Schindler, John Steel & Martin Zeman - 2002 - Journal of Symbolic Logic 67 (2):721-736.
The self-iterability of L[E].Ralf Schindler & John Steel - 2009 - Journal of Symbolic Logic 74 (3):751-779.
Descriptive inner model theory.Grigor Sargsyan - 2013 - Bulletin of Symbolic Logic 19 (1):1-55.
λ-structures and s-structures: Translating the models.Gunter Fuchs - 2011 - Annals of Pure and Applied Logic 162 (4):257-317.
A classification of jump operator.John R. Steel - 1982 - Journal of Symbolic Logic 47 (2):347-358.

View all 7 references / Add more references