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)

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 103,343

External links

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

Through your library

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.
Remarks in abstract model theory.Saharon Shelah - 1985 - Annals of Pure and Applied Logic 29 (3):255-288.
A new model for intuitionistic analysis.Philip Scowcroft - 1990 - Annals of Pure and Applied Logic 47 (2):145-165.
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
29 (#812,446)

6 months
6 (#572,300)

Historical graph of downloads
How can I increase my downloads?

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