equal
deleted
inserted
replaced
3 |
3 |
4 <H2>Hyperreal--Ultrafilter Construction of the Non-Standard Reals</H2> |
4 <H2>Hyperreal--Ultrafilter Construction of the Non-Standard Reals</H2> |
5 |
5 |
6 <UL> |
6 <UL> |
7 <LI><A HREF="Zorn.html">Zorn</A> |
7 <LI><A HREF="Zorn.html">Zorn</A> |
8 Zorn's Lemma: proof based on the <A HREF="../../ZF/Zorn.html">ZF version</A> |
8 Zorn's Lemma: proof based on the <A HREF="../../../ZF/Zorn.html">ZF version</A> |
9 |
9 |
10 <LI><A HREF="Filter.html">Filter</A> |
10 <LI><A HREF="Filter.html">Filter</A> |
11 Theory of Filters and Ultrafilters. |
11 Theory of Filters and Ultrafilters. |
12 Main result is a version of the Ultrafilter Theorem proved using Zorn's Lemma. |
12 Main result is a version of the Ultrafilter Theorem proved using Zorn's Lemma. |
13 </UL> |
13 </UL> |