Accession Number : AD0714169

Title :   Some Remarks on Computable (Non-Archimedean) Ordered Fields.

Descriptive Note : Technical rept.,

Corporate Author : IOWA UNIV IOWA CITY DEPT OF MATHEMATICS

Personal Author(s) : Madison,Eugene W.

Report Date : JUL 1970

Pagination or Media Count : 16

Abstract : In this paper two results of Lachlan and Madison are generalized. (1) The theorem which characterizes all computable Archimedean ordered algebraic extensions as those which are s.r.e. over 2, the field of rationals. (2) The theorem which characterizes 2 sup c (the field of recursive real numbers) as the minimal ordered extension of 2 which contains all computable Archimedean ordered fields. (Author)

Descriptors :   (*ALGEBRA, THEOREMS), AUTOMATA

Subject Categories : Theoretical Mathematics

Distribution Statement : APPROVED FOR PUBLIC RELEASE