The independence of δ1n

Journal of Symbolic Logic 64 (1):350 - 362 (1999)
  Copy   BIBTEX

Abstract

In this paper we prove the independence of δ 1 n for n ≥ 3. We show that δ 1 4 can be forced to be above any ordinal of L using set forcing. For δ 1 3 we prove that it can be forced, using set forcing, to be above any L cardinal κ such that κ is Π 1 definable without parameters in L. We then show that δ 1 3 cannot be forced by a set forcing to be above every cardinal of L. Finally we present a class forcing construction to make δ 1 3 greater than any given L cardinal

Links

PhilArchive



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

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

Unfoldable cardinals and the GCH.Joel David Hamkins - 2001 - Journal of Symbolic Logic 66 (3):1186-1198.
Souslin forcing.Jaime I. Ihoda & Saharon Shelah - 1988 - Journal of Symbolic Logic 53 (4):1188-1207.
Small forcing makes any cardinal superdestructible.Joel David Hamkins - 1998 - Journal of Symbolic Logic 63 (1):51-58.
The bounded proper forcing axiom.Martin Goldstern & Saharon Shelah - 1995 - Journal of Symbolic Logic 60 (1):58-73.
Forcing isomorphism II.M. C. Laskowski & S. Shelah - 1996 - Journal of Symbolic Logic 61 (4):1305-1320.
A maximal bounded forcing axiom.David Asperó - 2002 - Journal of Symbolic Logic 67 (1):130-142.
Ultrafilters generated by a closed set of functions.Greg Bishop - 1995 - Journal of Symbolic Logic 60 (2):415-430.
Proper forcing and l(ℝ).Itay Neeman & Jindřich Zapletal - 2001 - Journal of Symbolic Logic 66 (2):801-810.

Analytics

Added to PP
2009-01-28

Downloads
33 (#439,340)

6 months
6 (#292,930)

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

No references found.

Add more references