TY  - RPRT
TI  - On computable aspects of algebraic and definable closure
AU  - Nathanael Ackerman
AU  - Cameron Freer
AU  - Rehana Patel
PY  - 2021
DO  - 10.1093/logcom/exaa070
UR  - https://arxiv.org/abs/2101.11849
ID  - 2101.11849
ER  -