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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,297

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

Some applications of coarse inner model theory.Greg Hjorth - 1997 - Journal of Symbolic Logic 62 (2):337-365.
Definition 1.1. 1. A tree is a subset T of< such that for all∈ T, if∈< and⊆, then∈ T. 2. If T is a tree and S⊆ T is also a tree, we say that S is a subtree of T. 3. A tree T is bounded if there exists h:→ such that for all∈ T. [REVIEW]Joseph R. Mileti - 2005 - Bulletin of Symbolic Logic 11 (3).
Robert M. Solovay. A model of set-theory in which every set of reals is Lebesgue measurable. Annals of mathematics, ser. 2 vol. 92 , pp. 1–56. [REVIEW]Richard Laver - 1973 - Journal of Symbolic Logic 38 (3):529.
Solovay-Type Characterizations for Forcing-Algebras.Jörg Brendle & Benedikt Löwe - 1999 - Journal of Symbolic Logic 64 (3):1307-1323.
The largest countable inductive set is a mouse set.Mitch Rudominer - 1999 - Journal of Symbolic Logic 64 (2):443-459.
Review: Robert M. Solovay, A Model of Set-Theory in which Every Set of Reals is Lebesgue Measurable. [REVIEW]Richard Laver - 1973 - Journal of Symbolic Logic 38 (3):529-529.
An Inner Model Proof of the Strong Partition Property for $delta^{2}_{1}$.Grigor Sargsyan - 2014 - Notre Dame Journal of Formal Logic 55 (4):563-568.

Analytics

Added to PP
2009-01-28

Downloads
39 (#580,768)

6 months
15 (#211,303)

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