1. A real number structure that is effectively categorical;Hertling;Mathematical Logic Quarterly,1999
2. Constructive algebras I;Mal'cev;Uspehi Mat. Nauk,1961
3. Recursive metric spaces;Moschovakis;Fundamenta Mathematicae,1964
4. Notation systems and recursive ordered fields;Moschovakis;Comp. Math.,1966
5. Complete local rings as domains;Stoltenberg-Hansen;Journal of Symbolic Logic,1988