4 citations · 8 across the 8 of their papers we have counts for
Showing 2024 · math.LOShow all
2 papers · 2 filters
math.LO2024
The subTuring degrees
Takayuki Kihara, Keng Meng Ng
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 subTurin…
math.LO2024
Finite final segments of the d.c.e. Turing degrees
Steffen Lempp, Yiqun Liu, Yong Liu +3
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…