Annals of Mathematical Logic 23 (2-3):101-120 (1982)

Abstract
I give a class forcing that adds a real which is Pi-1-2 and for which no forcing extension (by a set of conditions) can destroy this definability
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/0003-4843(82)90001-8
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 51,447
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Some Applications of Jensen's Coding Theorem.R. David - 1982 - Annals of Mathematical Logic 22 (2):177-196.

Add more references

Citations of this work BETA

Cardinal Characteristics and Projective Wellorders.Vera Fischer & Sy David Friedman - 2010 - Annals of Pure and Applied Logic 161 (7):916-922.
Δ31 Reals.René David - 1982 - Annals of Mathematical Logic 23 (2-3):121-125.
Some Results on Higher Suslin Trees.R. David - 1990 - Journal of Symbolic Logic 55 (2):526-536.
On the Structure of Δ 1 4 -Sets of Reals.Haim Judah & Otmar Spinas - 1995 - Archive for Mathematical Logic 34 (5):301-312.

View all 8 citations / Add more citations

Similar books and articles

Definability and Initial Segments of C-Degrees.Robert S. Lubarsky - 1988 - Journal of Symbolic Logic 53 (4):1070-1081.
Combinatorics on Ideals and Forcing with Trees.Marcia J. Groszek - 1987 - Journal of Symbolic Logic 52 (3):582-593.
Mathematics is Megethology.David K. Lewis - 1993 - Philosophia Mathematica 1 (1):3-23.
Forcing Notions in Inner Models.David Asperó - 2009 - Archive for Mathematical Logic 48 (7):643-651.
Goodness in the Enumeration and Singleton Degrees.Charles M. Harris - 2010 - Archive for Mathematical Logic 49 (6):673-691.
Relatively Computably Enumerable Reals.Bernard A. Anderson - 2011 - Archive for Mathematical Logic 50 (3-4):361-365.
Proposition and Tense.James Cargile - 1999 - Notre Dame Journal of Formal Logic 40 (2):250-257.
Absolute Identity/Unity.Dietmar Von der Pfordten - 2009 - Review of Metaphysics 62 (4):803-818.
Projective Absoluteness for Sacks Forcing.Daisuke Ikegami - 2009 - Archive for Mathematical Logic 48 (7):679-690.
Co-Stationarity of the Ground Model.Natasha Dobrinen & Sy-David Friedman - 2006 - Journal of Symbolic Logic 71 (3):1029 - 1043.
Wittgenstein and the Real Numbers.Daesuk Han - 2010 - History and Philosophy of Logic 31 (3):219-245.

Analytics

Added to PP index
2013-12-01

Total views
15 ( #615,141 of 2,330,441 )

Recent downloads (6 months)
2 ( #393,610 of 2,330,441 )

How can I increase my downloads?

Downloads

My notes