%table of contents is too crowded! \usepackage{tocloft} \addtolength\cftsubsecnumwidth {0.5em} \addtolength\cftsubsubsecnumwidth {1.0em}
\begin{document}
\title{Equivalents of the Axiom of Choice} \author{Krzysztof Gr\c{a}bczewski} \maketitle
\begin{abstract}
This development~\cite{paulson-gr} proves the equivalence of seven
formulations of the well-ordering theorem and twenty formulations of the
axiom of choice. It formalizes the first two chapters of the monograph \emph{Equivalents of the Axiom of Choice} by Rubin and
Rubin~\cite{rubin&rubin}. Some of this mmaterial involves extremely complex
techniques. \end{abstract}
¤ Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.0.1Bemerkung:
(vorverarbeitet)
¤
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
