Isolated d.c.e. degrees and Σ1 induction

, &
Annals of Pure and Applied Logic 177 (3):103678 (2026)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2025.103678

Other Versions

No versions found

Links

PhilArchive

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

The existence of high nonbounding degrees in the difference hierarchy.Chi Tat Chong, Angsheng Li & Yue Yang - 2006 - Annals of Pure and Applied Logic 138 (1):31-51.
Nonisolated degrees and the jump operator.Guohua Wu - 2002 - Annals of Pure and Applied Logic 117 (1-3):209-221.
Intervals containing exactly one c.e. degree.Guohua Wu - 2007 - Annals of Pure and Applied Logic 146 (1):91-102.
The Structure of d.r.e. Degrees.Yong Liu - 2021 - Bulletin of Symbolic Logic 27 (2):218-219.
Bounding computably enumerable degrees in the Ershov hierarchy.Angsheng Li, Guohua Wu & Yue Yang - 2006 - Annals of Pure and Applied Logic 141 (1):79-88.
Complementing cappable degrees in the difference hierarchy.Rod Downey, Angsheng Li & Guohua Wu - 2004 - Annals of Pure and Applied Logic 125 (1-3):101-118.
Isolated maximal d.r.e. degrees.Yong Liu - 2019 - Annals of Pure and Applied Logic 170 (4):515-538.
The Σ1-provability logic of HA.Mohammad Ardeshir & Mojtaba Mojtahedi - 2018 - Annals of Pure and Applied Logic 169 (10):997-1043.
Liu Shao-Ch I Fan Ko Ming Hsiu Cheng Chu I Yen Lun Hui Pien.Chung-kuo K. O. Hsüeh yüan - 1990 - S.N.
Shen du yu cheng yi: Liu Jishan zhe xue si xiang yan jiu = Vigilance in solitude and sincerity of will: a study on the philosophical thought of Liu Jishan.Haibo Gao - 2016 - Beijing: Sheng huo, du shu, xin zhi san lian shu dian.

Analytics

Added to PP
2025-11-12

Downloads
33 (#1,530,602)

6 months
25 (#390,481)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Photo of Yong Liu
Yong Liu
Shandong University
Photo of Peng Cheng
Peng Cheng

Citations of this work

No citations found.

Add more citations

References found in this work

The d.r.e. degrees are not dense.S. Cooper, Leo Harrington, Alistair Lachlan, Steffen Lempp & Robert Soare - 1991 - Annals of Pure and Applied Logic 55 (2):125-151.
A non-inversion theorem for the jump operator.Richard A. Shore - 1988 - Annals of Pure and Applied Logic 40 (3):277-303.
Finite injury and Σ1-induction.Michael Mytilinaios - 1989 - Journal of Symbolic Logic 54 (1):38 - 49.
Isolation and the high/low hierarchy.Shamil Ishmukhametov & Guohua Wu - 2002 - Archive for Mathematical Logic 41 (3):259-266.

View all 9 references / Add more references