4 papers
sp-Homogeneous Linear Orderings
Wesley Calvert, Douglas Cenzer, David Gonzalez +2
We study linear orderings expanded by functions for successor and predecessor. The successor and predecessor on linear orderings capture the relatively intrinsically computably enu…
Computable classifications of continuous, transducer, and regular functions
Johanna N. Y. Franklin, Rupert Hölzl, Alexander Melnikov +2
We develop a systematic algorithmic framework that unites global and local classification problems using index sets. We prove that the classification problem for continuous (binary…
The singleton degrees of the sets are not dense
Thomas F. Kent, Keng Meng Ng, Andrea Sorbi
Answering an open question raised by Cooper, we show that there exist sets and such that the singleton degree of is a minimal cover of the singleton degree of…
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…