The Turing closure of an Archimedean field
scientific article; zbMATH DE number 1495196