Non-Distributive Upper Semilattice of Kleene Degrees

Journal of Symbolic Logic 64 (1):147-158 (1999)
  Copy   BIBTEX

Abstract

$\mathscr{K}$ denotes the upper semilattice of all Kleene degrees. Under ZF + AD + DC, $\mathscr{K}$ is well-ordered and deg is the next Kleene degree above deg for $X \subseteq\omega\omega$. While, without AD, properties of $\mathscr{K}$ are not always clear. In this note, we prove the non-distributivity of $\mathscr{K}$ under ZFC, and that of Kleene degrees between deg and deg for some X under ZFC + CH.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,497

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

Non‐Complementedness and Non‐Distributivity of Kleene Degrees.Hisato Muraki - 1997 - Mathematical Logic Quarterly 43 (3):378-388.
Local Density of Kleene Degrees.Hisato Muraki - 1995 - Mathematical Logic Quarterly 41 (2):183-189.
Trees and $Pi^11$-Subsets of $^{omega1}omega_1$.Alan Mekler & Jouko Vaananen - 1993 - Journal of Symbolic Logic 58 (3):1052-1070.
The reals in core models.Philip Welch - 1987 - Journal of Symbolic Logic 52 (1):64-67.
On the Kleene degrees of Π 1 1 sets.Theodore A. Slaman - 1986 - Journal of Symbolic Logic 51 (2):352-359.
On the t-degrees of partial functions.Paolo Casalegno - 1985 - Journal of Symbolic Logic 50 (3):580-588.
Cantor’s Theorem May Fail for Finitary Partitions.Guozhen Shen - forthcoming - Journal of Symbolic Logic:1-18.

Analytics

Added to PP
2009-01-28

Downloads
239 (#108,095)

6 months
19 (#148,073)

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

Constructibility.Keith J. Devlin - 1987 - Journal of Symbolic Logic 52 (3):864-867.

Add more references