Real Ordered Fields with Characterization of the Natural Numbers

摘要

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.