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

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 105,030

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
242 (#114,513)

6 months
11 (#336,012)

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