A high noncuppable $${\Sigma^0_2}$$ e-degree

Archive for Mathematical Logic 47 (3):181-191 (2008)
  Copy   BIBTEX

Abstract

We construct a ${\Sigma^0_2}$ e-degree which is both high and noncuppable. Thus demonstrating the existence of a high e-degree whose predecessors are all properly ${\Sigma^0_2}$

Categories

Keywords

Reprint years

DOI

10.1007/s00153-006-0021-3

Links

PhilArchive



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

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Properly $\Sigma _{2}^{0}$ Enumeration Degrees and the High/Low Hierarchy.Matthew Giorgi, Andrea Sorbi & Yue Yang - 2006 - Journal of Symbolic Logic 71 (4):1125 - 1144.
Properly [image] Enumeration Degrees and the High/Low Hierarchy.Matthew Giorgi, Andrea Sorbi & Yue Yang - 2006 - Journal of Symbolic Logic 71 (4):1125 - 1144.
On the jump classes of noncuppable enumeration degrees.Charles M. Harris - 2011 - Journal of Symbolic Logic 76 (1):177 - 197.
Joining to high degrees via noncuppables.Jiang Liu & Guohua Wu - 2010 - Archive for Mathematical Logic 49 (2):195-211.
A high noncuppable \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Sigma^0_2}$$\end{document}e-degree. [REVIEW]Matthew B. Giorgi - 2008 - Archive for Mathematical Logic 47 (3):181-191.
A high c.e. degree which is not the join of two minimal degrees.Matthew B. Giorgi - 2010 - Journal of Symbolic Logic 75 (4):1339-1358.
The Distribution of Properly $Sigma^0_2$ e-Degrees.Stanislaw Bereznyuk, Richard Coles & Andrea Sorbi - 2000 - Journal of Symbolic Logic 65 (1):19-32.
Branching in the $${\Sigma^0_2}$$ -enumeration degrees: a new perspective. [REVIEW]Maria L. Affatato, Thomas F. Kent & Andrea Sorbi - 2008 - Archive for Mathematical Logic 47 (3):221-231.
$Sigma^1_2$-Sets of Reals.Jaime I. Ihoda - 1988 - Journal of Symbolic Logic 53 (2):636-642.
On Almost Orthogonality in Simple Theories.Itay Ben-Yaacov & Frank O. Wagner - 2004 - Journal of Symbolic Logic 69 (2):398 - 408.
Isolation and the high/low hierarchy.Shamil Ishmukhametov & Guohua Wu - 2002 - Archive for Mathematical Logic 41 (3):259-266.
A high strongly noncappable degree.Steffen Lempp - 1988 - Journal of Symbolic Logic 53 (1):174-187.
Σ12-sets of reals.Jaime I. Ihoda - 1988 - Journal of Symbolic Logic 53 (2):636 - 642.
Sibling terminology in Homer: Problems with ka sigma I gamma nhto sigma and a delta E lambda phi e0 sigma.Peter Gainsford - 2012 - Classical Quarterly 62 (2).

Analytics

Added to PP
2013-11-23

Downloads
10 (#1,123,760)

6 months
3 (#880,460)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On the jump classes of noncuppable enumeration degrees.Charles M. Harris - 2011 - Journal of Symbolic Logic 76 (1):177 - 197.

Add more citations

References found in this work

Reducibility and Completeness for Sets of Integers.Richard M. Friedberg & Hartley Rogers - 1959 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 5 (7-13):117-125.
Reducibility and Completeness for Sets of Integers.Richard M. Friedberg & Hartley Rogers - 1959 - Mathematical Logic Quarterly 5 (7‐13):117-125.
Jumps of quasi-minimal enumeration degrees.Kevin McEvoy - 1985 - Journal of Symbolic Logic 50 (3):839-848.
On minimal pairs of enumeration degrees.Kevin McEvoy & S. Barry Cooper - 1985 - Journal of Symbolic Logic 50 (4):983-1001.

View all 6 references / Add more references