Algebraic and Turing separability of rings

DOI10.1006/jabr.1996.0323zbMath0860.12006OpenAlexW2035752609MaRDI QIDQ1814984

Alexandra Shlapentokh

Publication date: 24 April 1997

Published in: Journal of Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/jabr.1996.0323

zbMATH Keywords

total recursive functionsrecursively enumerable Turing degreesTuring separability of ringsweak presentation of field rings

Mathematics Subject Classification ID

Decidability and field theory (12L05) Applications of logic to commutative algebra (13L05) Recursively (computably) enumerable sets and degrees (03D25) Theory of numerations, effectively presented structures (03D45)

Related Items (7)

Rational separability of the integral closure ⋮ Rational separability over a global field ⋮ Ideals in computable rings ⋮ Diophantine undecidability for some function fields of infinite transcendence degree and positive characteristic ⋮ Weak presentations of non-finitely generated fields ⋮ First-order definitions of rational functions and \({\mathcal S}\)-integers over holomorphy rings of algebraic functions of characteristic 0 ⋮ Generalised weak presentations

This page was built for publication: Algebraic and Turing separability of rings