On computable aspects of algebraic and definable closure

Nathanael Ackerman, Cameron Freer, Rehana Patel

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 quanti…