English

On computable aspects of algebraic and definable closure

Logic 2021-03-10 v1 Logic in Computer Science

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 nn, in any given computable structure, both algebraic and definable closure with respect to that collection are Σn+20\Sigma^0_{n+2} sets. We further show that these bounds are tight.

Keywords

Cite

@article{arxiv.2101.11849,
  title  = {On computable aspects of algebraic and definable closure},
  author = {Nathanael Ackerman and Cameron Freer and Rehana Patel},
  journal= {arXiv preprint arXiv:2101.11849},
  year   = {2021}
}

Comments

20 pages