Computability of algebraic and definable closure

DOI10.1007/978-3-030-36755-8_1zbMath1485.03101OpenAlexW2995009922MaRDI QIDQ2177575

Rehana Patel, Cameron E. Freer, Nathanael Leedom Ackerman

Publication date: 6 May 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-36755-8_1

zbMATH Keywords

algebraic closurecomputable model theorydefinable closure

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

This page was built for publication: Computability of algebraic and definable closure