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 , in any given computable structure, both algebraic and definable closure with respect to that collection are 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