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)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,423

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 dialogue model of belief.Douglas Walton - 2010 - Argument and Computation 1 (1):23-46.
RED: ADHD under the “micro-scope” of the rat model.Katya Rubia - 2005 - Behavioral and Brain Sciences 28 (3):439-440.
Corporate environmental responsibility.Joe DesJardins - 1998 - Journal of Business Ethics 17 (8):825 - 838.
The Atomistic Revival.Ralph Abraham & Sisir Roy - 2012 - World Futures 68 (1):30 - 39.
Models of set theory with definable ordinals.Ali Enayat - 2005 - Archive for Mathematical Logic 44 (3):363-385.
Validation of a non-linear model of health.Stefan Topolski & Joachim Sturmberg - 2014 - Journal of Evaluation in Clinical Practice 20 (6):1026-1035.
Model companions of theories with an automorphism.Hirotaka Kikyo - 2000 - Journal of Symbolic Logic 65 (3):1215-1222.
Is time a continuum of instants.Michael Dummett - 2000 - Philosophy 75 (4):497-515.
Nearly Model Complete Theories.David W. Kueker & Brian P. Turnquist - 1999 - Mathematical Logic Quarterly 45 (3):291-298.

Analytics

Added to PP
2015-09-02

Downloads
16 (#886,588)

6 months
3 (#1,002,413)

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