Go backward to
Motivation
Go up to
Top
Go forward to
Existence of Real Roots
Theory of Reals
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