Go backward to
Existence of Real Roots
Go up to
Go forward to
Roots of non-negative reals are well defined.
There are also "constructive" definitions of
We will see later how to "embed"
Last Modification: November 16, 1999