scientific article
From MaRDI portal
Publication:3936728
zbMath0479.03023MaRDI QIDQ3936728
Publication date: 1981
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
splitting algorithmalgebraic extensionsrecursive valuationalgebraically closed fieldsrecursive fieldrecursive algebraic closure
Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) General valuation theory for fields (12J20)
Related Items (3)
Recursive categoricity and recursive stability ⋮ Recursion theory and ordered groups ⋮ Computable valued fields
This page was built for publication:
