scientific article

zbMATH Open0479.03023MaRDI QIDQ3936728FDOQ3936728

Rick L. Smith

Publication date: 1981

Title of this publication is not available (Why is that?)

zbMATH Keywords

splitting algorithmalgebraic extensionsalgebraically closed fieldsrecursive valuationrecursive fieldrecursive algebraic closure

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) General valuation theory for fields (12J20)

Cited In (3)

• Recursion theory and ordered groups
• Computable valued fields
• Recursive categoricity and recursive stability

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3936728)