Go backward to MotivationGo up to TopGo forward to Existence of Real Roots |

- Object constants 0 and 1.
- Unary function constant
^{-1}. - Binary function constants +, -, *.
- Binary predicate constant <= .
*Axioms: see lecture notes.*

Author: Wolfgang Schreiner

Last Modification: November 16, 1999