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