REAL ORDERED FIELDS WITH CHARACTERIZATION OF THE NATURAL NUMBERS.
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.
Document Details
- Document Type
- Technical Report
- Publication Date
- Mar 01, 1969
- Accession Number
- AD0686046
Entities
People
- E. W. Madison
Organizations
- University of Iowa