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

Download:

Current browse context:

cs

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

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

Mathematics > Logic

Title: On computable aspects of algebraic and definable closure

Abstract: We investigate the computability of algebraic closure and definable closure with respect to a collection of formulas. We show that for a computable collection of formulas of quantifier rank at most $n$, in any given computable structure, both algebraic and definable closure with respect to that collection are $\Sigma^0_{n+2}$ sets. We further show that these bounds are tight.
Comments: 20 pages
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
Journal reference: Journal of Logic and Computation 31, no. 1 (2021), pp. 2-19
DOI: 10.1093/logcom/exaa070
Cite as: arXiv:2101.11849 [math.LO]
  (or arXiv:2101.11849v1 [math.LO] for this version)

Submission history

From: Cameron Freer [view email]
[v1] Thu, 28 Jan 2021 07:39:59 GMT (21kb,D)

Link back to: arXiv, form interface, contact.