REAL ORDERED FIELDS WITH CHARACTERIZATION OF THE NATURAL NUMBERS.

reportActive / Technical Report | Accession Number: AD0686046 | Need Help?

Abstract:

R R,N sub 0,,x, greater than or equal to abbreviated RN 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.

Author(s):
Madison, E. W.
Author Organization(s):
IOWA UNIV IOWA CITY DEPT OF MATHEMATICS
Descriptive Note:
Technical rept.,
Supplementary Note:
Report on the Theory and Applications of Automaton Theory.
Pagination:
0022

Security Markings

DOCUMENT & CONTEXTUAL SUMMARY

Distribution:
Approved For Public Release

RECORD

Collection: TR
Identifying Numbers
Report Number(s):
THEMIS-UI-TR-7
Contract/Grant Number(s):
N00014-68-A-0500
 Subject Terms
Communities of Interest:
No COI(s) Identified
Descriptor(s):
(*NUMBER THEORY, THEOREMS), MATHEMATICAL LOGIC, RECURSIVE FUNCTIONS, SET THEORY
Field(s)/Group(s):
Theoretical Mathematics
Keyword(s):
THEMIS PROJECT
Report Date:
1969 Mar 01