We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.LO

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Logic

Title: Fixpoints and relative precompleteness

Abstract: We study relative precompleteness in the context of the theory of numberings, and relate this to a notion of lowness. We introduce a notion of divisibility for numberings, and use it to show that for the class of divisible numberings, lowness and relative precompleteness coincide with being computable.
We also study the complexity of Skolem functions arising from Arslanov's completeness criterion with parameters. We show that for suitably divisible numberings, these Skolem functions have the maximal possible Turing degree. In particular this holds for the standard numberings of the partial computable functions and the c.e. sets.
Comments: 12 pages
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
Cite as: arXiv:2101.12271 [math.LO]
  (or arXiv:2101.12271v1 [math.LO] for this version)

Submission history

From: Anton Golov [view email]
[v1] Thu, 28 Jan 2021 20:54:11 GMT (11kb)

Link back to: arXiv, form interface, contact.