<!-- $Id$ -->
<HTML><HEAD><TITLE>HOL/Real/README</TITLE></HEAD><BODY>
<H2>Hyperreal--Ultrafilter Construction of the Non-Standard Reals</H2>
<UL>
<LI><A HREF="Zorn.html">Zorn</A>
Zorn's Lemma: proof based on the <A HREF="../../../ZF/Zorn.html">ZF version</A>
<LI><A HREF="Filter.html">Filter</A>
Theory of Filters and Ultrafilters.
Main result is a version of the Ultrafilter Theorem proved using Zorn's Lemma.
</UL>
<P>Last modified on $Date$
<HR>
<ADDRESS>
<A NAME="lcp@cl.cam.ac.uk" HREF="mailto:lcp@cl.cam.ac.uk">lcp@cl.cam.ac.uk</A>
</ADDRESS>
</BODY></HTML>