Accession Number : AD0686046

Title :   REAL ORDERED FIELDS WITH CHARACTERIZATION OF THE NATURAL NUMBERS.

Descriptive Note : Technical rept.,

Corporate Author : IOWA UNIV IOWA CITY DEPT OF MATHEMATICS

Personal Author(s) : Madison,E. W.

Report Date : MAR 1969

Pagination or Media Count : 22

Abstract : R = (R,N sub 0,+,x, greater than or equal to) (abbreviated (R;N sub 0)) denotes the ordered field of real numbers with the natural numbers N sub 0 distinguished. Structures similar to R are analyzed within LPC.

Descriptors :   (*NUMBER THEORY, THEOREMS), MATHEMATICAL LOGIC, RECURSIVE FUNCTIONS, SET THEORY

Subject Categories : Theoretical Mathematics

Distribution Statement : APPROVED FOR PUBLIC RELEASE