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

Links

PhilArchive



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

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

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.
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 (#785,610)

6 months
5 (#544,079)

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