Variations of the Martin-Solovay tree

Journal of Symbolic Logic 61 (1):40-51 (1996)
  Copy   BIBTEX

Abstract

Assuming $\underset{\sim}{\Pi}^1_2$ determinacy, the model L[ T 2 ] does not depend on the choice of T 2

Categories

Keywords

Reprint years

DOI

10.2307/2275596

Links

PhilArchive



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

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

An Ulm-type classification theorem for equivalence relations in Solovay model.Vladimir Kanovei - 1997 - Journal of Symbolic Logic 62 (4):1333-1351.
Why Solovay real produces Cohen real.Janusz Pawlikowski - 1986 - Journal of Symbolic Logic 51 (4):957-968.
Variations on a theme by Weiermann.Toshiyasu Arai - 1998 - Journal of Symbolic Logic 63 (3):897-925.
Building iteration trees.Alessandro Andretta - 1991 - Journal of Symbolic Logic 56 (4):1369-1384.
Tree formulations of tense logic.Jack Copeland - manuscript
A simplification of a completeness proof of Guaspari and Solovay.Dick H. J. Jongh - 1987 - Studia Logica 46 (2):187 - 192.
The tree of life: introduction to an evolutionary debate. [REVIEW]Maureen A. O’Malley, William Martin & John Dupré - 2010 - Biology and Philosophy 25 (4):441-453.
Some applications of coarse inner model theory.Greg Hjorth - 1997 - Journal of Symbolic Logic 62 (2):337-365.

Analytics

Added to PP
2009-01-28

Downloads
18 (#814,090)

6 months
5 (#638,139)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Set Theory.Thomas Jech - 1999 - Studia Logica 63 (2):300-300.
The problem of predicativity.Joseph R. Shoenfield - 1961 - In Bar-Hillel, Yehoshua & [From Old Catalog] (eds.), Essays on the Foundations of Mathematics. Jerusalem,: Magnes Press. pp. 132--139.
Descriptive Set Theory.Yiannis Nicholas Moschovakis - 1982 - Studia Logica 41 (4):429-430.
Countable ordinals and the analytical hierarchy, II.Alexander S. Kechris - 1978 - Annals of Mathematical Logic 15 (3):193.

Add more references