Infimum Properties Differ in the Weak Truth-table Degrees and the Turing Degrees

Liang Yu,De Cheng Ding

DOI: https://doi.org/10.1007/s10114-003-0288-9

2004-01-01

Acta Mathematica Sinica English Series

Abstract:We prove that there are non-recursive r.e. setsA and C with A < T C such that for every set $F \leqslant _{T} A,{\kern 1pt} {\kern 1pt} C \cap F \equiv _{W} \emptyset $.

What problem does this paper attempt to address?

The extendibility of relatively capping degrees under the weak truth table reducibility

Zhigen Jiang,Angsheng Li,Yuefei Sui,Dongping Yang

1994-01-01

Abstract:We consider the extendibility of the relatively capping degrees under the weak truth table reducibility. We show that for any incomplete r.e. degree [d], there exists a [d]-cappable r.e. degree above any [d]-cappable r.e. degree under the weak truth table reducibility, where [x] is an r.e. degree under the weak truth table reducibility, or shortly, an r.e. wtt degree.
TURING DEGREES AND THE ERSHOV HIERARCHY

Frank Stephan,Yue Yang,Liang Yu

DOI: https://doi.org/10.1142/9789814293020_0012

2009-01-01

Abstract:An n-r.e. set cart be defined as the symmetric difference of n recursively enumerable sets. The classes of these sets form a natural hierarchy which became a well-studied topic in recursion theory. In a series of ground-breaking papers, Ershov generalized this hierarchy to transfinite levels based on Kleene's notations of ordinals and this work lead to a fruitful study of these sets and their many-one and Turing degrees. The Ershov hierarchy is a natural measure of complexity of the sets below the halting problem. In this paper, we survey the early work by Ershov and others on this hierarchy and present the most fundamental results. We also provide some pointers to concurrent work in the field.
A Join Theorem for the Computably Enumerable Degrees

CG Jockusch,AS Li,Y Yang

DOI: https://doi.org/10.1090/s0002-9947-04-03585-8

IF: 1.3529

2004-01-01

Transactions of the American Mathematical Society

Abstract:It is shown that for any computably enumerable (c.e.) degree w \mathbf {w} , if w ≠ 0 \mathbf {w\not =0} , then there is a c.e. degree a \mathbf {a} such that ( a ∨ w ) ′ = a = 0 \mathbf {(a\lor w)’} = \mathbf {a}= \mathbf {0} (so a \mathbf {a} is low 2 _2 and a ∨ w \mathbf {a\lor w} is high). It follows from this and previous work of P. Cholak, M. Groszek and T. Slaman that the low and low 2 _2 c.e. degrees are not elementarily equivalent as partial orderings.
A Common Generalization to Theorems on Set Systems with L-intersections

Jiu Qiang Liu,Sheng Gui Zhang,Ji Meng Xiao

DOI: https://doi.org/10.1007/s10114-018-6577-0

2018-01-01

Acta Mathematica Sinica English Series

Abstract:In this paper, we provide a common generalization to the well-known Erdös–Ko–Rado Theorem, Frankl–Wilson Theorem, Alon–Babai–Suzuki Theorem, and Snevily Theorem on set systems with L -intersections. As a consequence, we derive a result which strengthens substantially the well-known theorem on set systems with k -wise L -intersections by Füredi and Sudakov [ J. Combin. Theory, Ser. A , 105 , 143–159 (2004)]. We will also derive similar results on L -intersecting families of subspaces of an n -dimensional vector space over a finite field F q , where q is a prime power.
Degrees of Undecidability in Rewriting

Joerg Endrullis,Herman Geuvers,Hans Zantema

DOI: https://doi.org/10.48550/arXiv.0902.4723

2009-02-27

Abstract:Undecidability of various properties of first order term rewriting systems is well-known. An undecidable property can be classified by the complexity of the formula defining it. This gives rise to a hierarchy of distinct levels of undecidability, starting from the arithmetical hierarchy classifying properties using first order arithmetical formulas and continuing into the analytic hierarchy, where also quantification over function variables is allowed. In this paper we consider properties of first order term rewriting systems and classify them in this hierarchy. Weak and strong normalization for single terms turn out to be Sigma-0-1-complete, while their uniform versions as well as dependency pair problems with minimality flag are Pi-0-2-complete. We find that confluence is Pi-0-2-complete both for single terms and uniform. Unexpectedly weak confluence for ground terms turns out to be harder than weak confluence for open terms. The former property is Pi-0-2-complete while the latter is Sigma-0-1-complete (and thereby recursively enumerable). The most surprising result is on dependency pair problems without minimality flag: we prove this to be Pi-1-1-complete, which means that this property exceeds the arithmetical hierarchy and is essentially analytic.

Logic in Computer Science,Computational Complexity
There Are No Maximal Low D.C.E. Degrees.

Rod Downey,Liang Yu

DOI: https://doi.org/10.1305/ndjfl/1099080209

2004-01-01

Abstract:We prove that there is no maximal low d.c.e degree. IntroductionA natural extension of the notion of a computably enumerable (c.e.) set is that of a d.c.e.set which is a set obtained as the difference of two c.e. sets A = W -V .Equivalently, a d.c.e set A is a set for which there exists a computable function f (x, s) so that A(x) = lim s f (x, s), f (x, 0) = 0, and ∀x|{s, f (x, s) = f (x, s + 1)}| ≤ 2. As well as being interesting in their own right, the d.c.e.Turing degrees can be studied both to give insight into the c.e. Turing degrees and into the 0 2 degrees.The investigation of the present paper can be viewed as contributing to all three of these goals.The uppersemilattice of the d.c.e.degrees is not elementarily equivalent to that of the c.e. degrees by Arslanov [1] and Downey [5].Perhaps the most striking difference between the d.c.e.degrees and the c.e. degrees comes from the following two theorems.Theorem 1.1 (Sacks [9]) The c.e. degrees are dense.Theorem 1.2 (Cooper, Harrington, Lachlan, Lempp, Soare [4]) The d.c.e.degrees are not dense.Indeed, there is a maximal d.c.e.degree a.That is, a < 0 ′ , and there are no d.c.e.degrees b with a < b < 0 ′ .Also notice that density properties allow us to compare the d.c.e.degrees and the 0 2 degrees.By an unpublished result of Lachlan, there are no minimal d.c.e.degrees, yet Sacks constructed a minimal 0 2 degree.Actually there is a very interesting theme here that "toward 0" the d.c.e.degrees are like the c.e.
Finite final segments of the d.c.e. Turing degrees

Steffen Lempp,Yiqun Liu,Yong Liu,Keng Meng Ng,Cheng Peng,Guohua Wu

2024-03-21

Abstract:We prove that every finite distributive lattice is isomorphic to a final segment of the d.c.e. Turing degrees (i.e., the degrees of differences of computably enumerable sets). As a corollary, we are able to infer the undecidability of the EAE-theory of the d.c.e. degrees in the language of partial ordering.

Logic
On A Conjecture of Lempp

Angsheng Li

DOI: https://doi.org/10.1007/s001530050148

2000-01-01

Archive for Mathematical Logic

Abstract:In this paper, we first prove that there exist computably enumerable (c.e.) degrees a and b such that ${\bf a\not\leq b}$, and for any c.e. degree u, if ${\bf u\leq a}$ and u is cappable, then ${\bf u\leq b}$, so refuting a conjecture of Lempp (in Slaman [1996]); secondly, we prove that: (A. Li and D. Wang) there is no uniform construction to build nonzero cappable degree below a nonzero c.e. degree, that is, there is no computable function $f$ such that for all $e\in\omega,$ (i) $W_{f(e)}\leq_{\rm T}W_e$, (ii) $W_{f(e)}$ has a cappable degree, and (iii) $W_{f(e)}\not\leq_{\rm T}\emptyset$ unless $W_e\leq_{\rm T}\emptyset.$
Cofinal Maximal Chains in the Turing Degrees

Wei Wang,Liuzhen Wu,Liang Yu

DOI: https://doi.org/10.1090/s0002-9939-2014-11868-5

IF: 0.9709

2014-01-01

Proceedings of the American Mathematical Society

Abstract:Assuming ZFC, we prove that CH holds if and only if there exists a cofinal maximal chain of order type ω1 in the Turing degrees. However, it is consistent that ZF+“the reals are not well ordered”+“there exists a cofinal chain in the Turing degrees of order type ω1”.
Maximal Chains in the Turing Degrees

C. T. Chong,Liang Yu

DOI: https://doi.org/10.2178/jsl/1203350783

2007-01-01

Journal of Symbolic Logic

Abstract:We study the problem of existence of maximal chains in the Turing degrees. We show that:1. ZF + DC + "There exists no maximal chain in the Turing degrees" is equiconsistent with ZFC + "There exists an inaccessible cardinal";2. For all a is an element of 2(omega), (omega(1))(L[u]) = omega(1) if and only if there exists a Pi(1)(1)[a] maximal chain in the Turing degrees.As a corollary, ZFC + "There exists an inaccessible cardinal" is equiconsistent with ZFC + "There is no (boldface) Pi(1)(1) maximal chain of Turing degrees".
The limitless First Incompleteness Theorem

Yong Cheng

2024-12-30

Abstract:This work is motivated from finding the limit of the applicability of the first incompleteness theorem ($\sf G1$). A natural question is: can we find a minimal theory for which $\sf G1$ holds? We examine the Turing degree structure of recursively enumerable (RE) theories for which $\sf G1$ holds and the interpretation degree structure of RE theories weaker than the theory $\mathbf{R}$ with respect to interpretation for which $\sf G1$ holds. We answer all questions that we posed in \cite{Cheng20}, and prove more results about them. It is known that there are no minimal essentially undecidable theories with respect to interpretation. We generalize this result and give some general characterizations which tell us under what conditions there are no minimal RE theories having some property with respect to interpretation.

Logic
SOME CONSEQUENCES OF AND

Yao Peng,Liuzhen Wu,Liang Yu

DOI: https://doi.org/10.1017/jsl.2023.29

2023-01-01

Abstract:Strong Turing Determinacy, or ${\mathrm {sTD}}$ , is the statement that for every set A of reals, if $\forall x\exists y\geq _T x (y\in A)$ , then there is a pointed set $P\subseteq A$ . We prove the following consequences of Turing Determinacy ( ${\mathrm {TD}}$ ) and ${\mathrm {sTD}}$ over ${\mathrm {ZF}}$ —the Zermelo–Fraenkel axiomatic set theory without the Axiom of Choice: (1) ${\mathrm {ZF}}+{\mathrm {TD}}$ implies $\mathrm {wDC}_{\mathbb {R}}$ —a weaker version of $\mathrm {DC}_{\mathbb {R}}$ . (2) ${\mathrm {ZF}}+{\mathrm {sTD}}$ implies that every set of reals is measurable and has Baire property. (3) ${\mathrm {ZF}}+{\mathrm {sTD}}$ implies that every uncountable set of reals has a perfect subset. (4) ${\mathrm {ZF}}+{\mathrm {sTD}}$ implies that for every set of reals A and every $\epsilon>0$ : (a) There is a closed set $F\subseteq A$ such that $\mathrm {Dim_H}(F)\geq \mathrm {Dim_H}(A)-\epsilon $ , where $\mathrm {Dim_H}$ is the Hausdorff dimension. (b) There is a closed set $F\subseteq A$ such that $\mathrm {Dim_P}(F)\geq \mathrm {Dim_P}(A)-\epsilon $ , where $\mathrm {Dim_P}$ is the packing dimension.
There is No Low Maximal D.C.E. Degree

M Arslanov,SB Cooper,AS Li

DOI: https://doi.org/10.1002/1521-3870(200008)46:3<409::aid-malq409>3.0.co;2-p

2000-01-01

Mathematical Logic Quarterly

Abstract:We show that for any computably enumerable (c. e.) set A and any Delta(2)(0) set L, if L is low and L <(T) A, then there is a c. e. splitting A(0) box with open top A(1) = A such that A(i) + L <(T) A. In particular, if L is low and n-c. e., then A(i) + L is n-c. e. and hence there is no low maximal n-c. e. degree. Mathematics Subject Classification: 03D25, 03D30, 03D35.
Thin Maximal Antichains in the Turing Degrees

Chi Tat Chong,Liang Yu

DOI: https://doi.org/10.1007/978-3-540-73001-9_17

2007-01-01

Abstract:We study existence problems of maximal antichains in the Turing degrees. In particular, we give a characterization of the existence of thin $\Pi^1_1$ maximal antichains in the Turing degrees in terms of (relatively) constructible reals. A corollary of our main result gives a negative solution to a question of Jockusch under the assumption that every real is constructible.
Strong reducibilities and set theory

Noah Schweber

DOI: https://doi.org/10.1016/j.apal.2024.103522

IF: 0.776

2024-10-03

Annals of Pure and Applied Logic

Abstract:We study Medvedev reducibility in the context of set theory — specifically, forcing and large cardinal hypotheses. Answering a question of Hamkins and Li [HL∞] , we show that the Medvedev degrees of countable ordinals are far from linearly ordered in multiple ways, our main result here being that there is a club of ordinals which is an antichain with respect to Medvedev reducibility. We then generalize these results to arbitrary "reasonably-definable" reducibilities, under appropriate set-theoretic hypotheses.We then turn from ordinals to general structures. We show that some of the results above yield characterizations of counterexamples to Vaught's conjecture; another applies to all situations, assigning an ordinal to any reasonable class of structures and "measure" on that class. We end by discussing some directions for future research.

mathematics, applied,logic
A Hierarchy for Cuppable Degrees

AS Li,GH Wu,ZY Zhang

DOI: https://doi.org/10.1215/ijm/1256060420

2000-01-01

Illinois Journal of Mathematics

Abstract:We say that a computably enumerable (c.e., for short) degree a is cuppable if there is a c.e. degree b not equal 0' such that a boolean OR b = 0'. A c.e. degree a is called low(n)-cuppable, n > 0, if there is a low, c.e. degree 1 such that a boolean OR 1 = 0'. Let LC,, be the set of all low(n)-cuppable c.e. degrees. In this paper, we show that LC1 subset of LC2 subset of or equal to LC3 subset of or equal to (...), so giving a hierarchy for a class of cuppable degrees.
The Low Splitting Theorem in the Difference Hierarchy

Angsheng Li

DOI: https://doi.org/10.1007/11494645_35

2005-01-01

Abstract:It is shown that for any 2-computably enumerable Turing degrees a, l, if l ′ = 0′, and l < a, then there are 2-computably enumerable Turing degrees x 0, x 1 such that both l ≤ x 0, x 1 < a and x 0 ∨ x 1 = a hold, extending the Robinson low splitting theorem for the computably enumerable degrees to the difference hierarchy.
Some consequences of $\mathrm{TD}$ and $\mathrm{sTD}$

Yinhe Peng,Liuzhen Wu,Liang Yu

DOI: https://doi.org/10.48550/arxiv.2107.10470

2021-01-01

Abstract: Strongly Turing determinacy, or $\mathrm{sTD}$, says that for any set $A$ of reals, if $\forall x\exists y\geq_T x (y\in A)$, then there is a pointed set $P\subseteq A$. We prove the following consequences of Turing determinacy ($\mathrm{TD}$) and $\mathrm{sTD}$: (1). $\mathrm{ZF+TD}$ implies weakly dependent choice ($\mathrm{wDC}$). (2). $\mathrm{ZF+sTD}$ implies that every set of reals is measurable and has Baire property. (3). $\mathrm{ZF+sTD}$ implies that every uncountable set of reals has a perfect subset. (4). $\mathrm{ZF+sTD}$ implies that for any set of reals $A$ and any $\epsilon>0$, (a) there is a closed set $F\subseteq A$ so that $\mathrm{D_H}(F)\geq \mathrm{D_H}(A)-\epsilon$. (b) there is a closed set $F\subseteq A$ so that $\mathrm{D_P}(F)\geq \mathrm{D_P}(A)-\epsilon$.
The subTuring degrees

Takayuki Kihara,Keng Meng Ng

2024-11-09

Abstract:In this article, we introduce a notion of reducibility for partial functions on the natural numbers, which we call subTuring reducibility. One important aspect is that the subTuring degrees correspond to the structure of the realizability subtoposes of the effective topos. We show that the subTuring degrees (that is, the realizability subtoposes of the effective topos) form a dense non-modular (thus, non-distributive) lattice. We also show that there is a nonzero join-irreducible subTuring degree (which implies that there is a realizability subtopos of the effective topos that cannot be decomposed into two smaller realizability subtoposes).

Logic,Logic in Computer Science

Infimum Properties Differ in the Weak Truth-table Degrees and the Turing Degrees

The extendibility of relatively capping degrees under the weak truth table reducibility

TURING DEGREES AND THE ERSHOV HIERARCHY

A Join Theorem for the Computably Enumerable Degrees

A Common Generalization to Theorems on Set Systems with L-intersections

Degrees of Undecidability in Rewriting

There Are No Maximal Low D.C.E. Degrees.

Finite final segments of the d.c.e. Turing degrees

On A Conjecture of Lempp

Cofinal Maximal Chains in the Turing Degrees

Maximal Chains in the Turing Degrees

The limitless First Incompleteness Theorem

SOME CONSEQUENCES OF AND

There is No Low Maximal D.C.E. Degree

Thin Maximal Antichains in the Turing Degrees

Strong reducibilities and set theory

A Hierarchy for Cuppable Degrees

The Low Splitting Theorem in the Difference Hierarchy

Some consequences of $\mathrm{TD}$ and $\mathrm{sTD}$

The subTuring degrees