Rational separability over a global field

Chevalley, 1951, Introduction to the Theory of Algebraic Functions of One Variable, 10.1090/surv/006 Fried, 1986 Janusz, 1973 Jockusch, 1995, Weak presentations of computable fields, J. Symbolic Logic, 60, 199, 10.2307/2275517 O'Meara, 1973 Rabin, 1960, Computable algebra, general theory and theory of computable fields, Trans. AMS, 95, 341 Shlapentokh, 1994, Diophantine equivalence and countable rings, J. Symbolic Logic, 59, 1068, 10.2307/2275929 Shlapentokh, 1995, Nonstandard extensions of weak presentations, J. Algebra, 176, 735, 10.1006/jabr.1995.1269 A. Shlapentokh, Turing and algebraic separability of rings, preprint.