Punctually presented structures I: Closure theorems
M. V. Dorzhieva, Alexander Melnikov, Alexander Melnikov · Computability · 2023
We study the primitive recursive content of various closure results in algebra and model theory, including the algebraic, the real, and the differential closure theorems. In the case of ordered fields and their real closures, our result settles a question recently raised by Selivanova and Selivanov.