A very absolute Pi-1-2 real singleton

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

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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,221

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

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.
Lacan and the concept of the 'real'.Tom Eyers - 2012 - New York: Palgrave-Macmillan.
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
2013-12-01

Downloads
19 (#679,913)

6 months
1 (#1,028,709)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Cardinal characteristics and projective wellorders.Vera Fischer & Sy David Friedman - 2010 - Annals of Pure and Applied Logic 161 (7):916-922.
Forcing the [math]-separation property.Stefan Hoffelner - 2022 - Journal of Mathematical Logic 22 (2).
Δ31 reals.René David - 1982 - Annals of Mathematical Logic 23 (2-3):121-125.

View all 11 citations / Add more citations

References found in this work

Some applications of Jensen's coding theorem.R. David - 1982 - Annals of Mathematical Logic 22 (2):177-196.

Add more references