\begin{thebibliography}{}

\bibitem[\protect\citeauthoryear{Aczel}{1988}]{aczel}
Peter Aczel.
\newblock {\em Non-Well-Founded Sets}.
\newblock Number~14 in CSLI Lecture Notes. CSLI Publications, \chicagounipress,
  1988.

\bibitem[\protect\citeauthoryear{Burris \bgroup\&\ \egroup
  Sankappanavar}{1981}]{universalalgebra}
Stanley Burris and H.~P. Sankappanavar.
\newblock {\em A Course in Universal Algebra}.
\newblock \springerverlag, 1981.

\bibitem[\protect\citeauthoryear{Forster}{1995}]{forster}
Thomas~E. Forster.
\newblock {\em Set Theory with a Universal Set --- Exploring an Untyped
  Universe}.
\newblock Number~31 in \Oxford\ Logic Guides. \clarendonpress, 1995.
\newblock \nth 2\,\rev\,ed\ (\nth 1\,\ed\,1992).

\bibitem[\protect\citeauthoryear{Forster}{2008}]{sep-quine-nf}
Thomas~E. Forster.
\newblock {\quine's New Foundations}.
\newblock In Edward~N. Zalta, editor, {\em The Stanford Encyclopedia of
  Philosophy}. Stanford University, Web only, 2008.
\newblock {\Ed\,Winter\,2008,
  \url{http://plato.stanford.edu/archives/win2008/entries/quine-nf/}}.

\bibitem[\protect\citeauthoryear{Frege\protect\index{Frege,
  Gottlob}}{1884}]{frege-grundlagen}
Gottlob Frege\protect\index{Frege, Gottlob}.
\newblock {\em {Die Grundlagen der Arithmetik}}.
\newblock Verlag von M. \& H. Marcus, \Breslau, 1884.
\newblock Reprinted 1934. Reprinted as facsimile: \georg\ Olms Verlag,
  \Hildesheim, 1990.

\bibitem[\protect\citeauthoryear{Frege\protect\index{Frege,
  Gottlob}}{1893/1903}]{frege-grundgesetze}
Gottlob Frege\protect\index{Frege, Gottlob}.
\newblock {\em Grundgesetze der Arithmetik -- \Begriffsschrift lich
  abgeleitet}.
\newblock Verlag von \hermann\ Pohle, \Jena, 1893/1903.
\newblock As facsimile with corrigenda by \christian\ Thiel: \georg\ Olms
  Verlag, \Hildesheim, 1998.

\bibitem[\protect\citeauthoryear{Grimm \bgroup\&\ \egroup
  Grimm}{1854\ff}]{grimm}
Jacob Grimm and Wilhelm Grimm.
\newblock {\em Deutsche\es\ W\oe rterbuch}.
\newblock Verlag von S. Hirzel, \Leipzig, 1854\ff.

\bibitem[\protect\citeauthoryear{Hartogs}{1915}]{hartogs}
Friedrich Hartogs.
\newblock {\Ue ber da\es\ Problem der Wohlordnung}.
\newblock {\em {\MathematischeAnnalen}}, 76:438--443, 1915.

\bibitem[\protect\citeauthoryear{Heijenoort\protect\index{Heijenoort!Jean
  van}}{1971}]{heijenoort-source-book}
Jean~van Heijenoort\protect\index{Heijenoort!Jean van}.
\newblock {\em From {\frege} to {\goedel}: A Source Book in Mathematical Logic,
  1879--1931}.
\newblock {\harvardunipress}, 1971.
\newblock {\nth 2\,\rev\ \ed\ (\nth 1\,\ed\,1967)}.

\bibitem[\protect\citeauthoryear{Holmes}{1998}]{holmes-elementary}
A.~Randall Holmes.
\newblock {\em Elementary Set Theory with a Universal Set}.
\newblock Number~10 in Cahiers du Centre de logique. Academia-Erasme, 1998.
\newblock Updated version:
  \url{http://math.boisestate.edu/~holmes/holmes/head.pdf}.

\bibitem[\protect\citeauthoryear{Howard \bgroup\&\ \egroup
  Rubin}{1998}]{weakaxiomofchoice}
Paul Howard and Jean~E. Rubin.
\newblock {\em Consequences of the Axiom of Choice}.
\newblock American Math.\ Society, 1998.

\bibitem[\protect\citeauthoryear{Jech}{2006}]{jech}
Thomas Jech.
\newblock {\em Set Theory}.
\newblock \springerverlag, 2006.
\newblock {\nth 3\ \rev\ and expanded \ed\ ``\nth 3\,Millenium\,\ed'' (\nth
  1\,\ed\,1978); corrected \nth 4\,printing (\nth 1\,printing 2002)}.

\bibitem[\protect\citeauthoryear{Moschovakis}{2006}]{moschovakis-set-theory}
Yiannis Moschovakis.
\newblock {\em Notes on Set Theory}.
\newblock \springerverlag, 2006.
\newblock {\nth 2}\,\ed\ (\nth 1\,\ed\,1994).

\bibitem[\protect\citeauthoryear{Quine}{1981}]{ML}
Willard Van~O. Quine.
\newblock {\em Mathematical Logic}.
\newblock \harvardunipress, 1981.
\newblock \nth 4\,\rev\,\ed\ (\nth 1\,\ed\ 1940).

\bibitem[\protect\citeauthoryear{Rubin \bgroup\&\ \egroup
  Rubin}{1985}]{axiomofchoice}
Herman Rubin and Jean~E. Rubin.
\newblock {\em Equivalents of the {Axiom of Choice}}.
\newblock {\northholland}, 1985.
\newblock \nth 2\,\rev\,\ed\ (\nth 1\,\ed\,1963).

\bibitem[\protect\citeauthoryear{Tarski\protect\index{Tarski,
  Alfred}}{1986}]{tarskiequal}
Alfred Tarski\protect\index{Tarski, Alfred}.
\newblock What are logical notions?
\newblock {\em \historyandphilosophyoflogicname}, 7:143--154, 1986.
\newblock \Ed\ by \corcoranname.

\bibitem[\protect\citeauthoryear{Wirth\protect\index{Wirth,
  Claus-Peter}}{2004}]{wirthcardinal}
Claus-Peter Wirth\protect\index{Wirth, Claus-Peter}.
\newblock {\DescenteInfinie\ + Deduction}.
\newblock {\em Logic J. of the IGPL}, 12:1--96, 2004.
\newblock \url{http://www.ags.uni-sb.de/~cp/p/d}.

\bibitem[\protect\citeauthoryear{Wirth\protect\index{Wirth,
  Claus-Peter}}{2008}]{wirth-jal}
Claus-Peter Wirth\protect\index{Wirth, Claus-Peter}.
\newblock \hilbert's epsilon as an operator of indefinite committed choice.
\newblock {\em J. Applied Logic\protect\index{Hilbert!'s epsilon}}, 6:287--317,
  2008.
\newblock \url{http://www.ags.uni-sb.de/~cp/p/epsi},
  \url{http://dx.doi.org/10.1016/j.jal.2007.07.009}.

\bibitem[\protect\citeauthoryear{Zermelo}{1904}]{zermelo1904}
Ernst Zermelo.
\newblock {Bewei\es, da\sz\ jede Menge wohlgeordnet werden kann}.
\newblock {\em {\MathematischeAnnalen}}, 59:514--516, 1904.
\newblock {English} translation {\em Proof that every set can be
  well-ordered}\/ by \bauermengelbergname\ with an introduction by
  \heijenoortname\ in \cite[\PP{139}{141}]{heijenoort-source-book}.

\end{thebibliography}