\documentclass[%
version=last,%
a5paper,%
10pt,%
headings=small,%
bibliography=totoc,%
index=totoc,%
twoside,%
reqno,%
cleardoublepage=empty,%
open=any,%
%draft=true,%
%BCOR=2mm,%
%DIV=18,%
DIV=12,%
%headinclude=true,%
pagesize]%
{scrbook}

%\usepackage[notcite,notref]{showkeys}
\usepackage{hfoldsty}
\usepackage{multicol}

\usepackage{layout}
\usepackage{cclicenses}

\makeindex
\usepackage{makeidx}
\renewcommand{\captionformat}{ }

\usepackage{scrpage2}
\pagestyle{scrheadings}
\ohead{}
%\ihead{\headmark}
\ifoot{\headmark}
%\ofoot{}


\usepackage{relsize} % Here \smaller scales by 1/1.2; \relscale{X} scales by X

\renewenvironment{quote}{\begin{list}{}
{\relscale{.90}\setlength{\leftmargin}{0.05\textwidth}
\setlength{\rightmargin}{\leftmargin}}
\item[]}
{\end{list}}


\usepackage[polutonikogreek,english]{babel}
\newcommand{\Gk}[1]{\selectlanguage{polutonikogreek}{#1}\selectlanguage{english}}
\newcommand{\lett}[1]{\textsf{#1}}


\newcommand{\defnplain}[2]{\textbf{#1#2}}
\newcommand{\techplain}[2]{\textsl{#1#2}}

\newcommand{\defn}[2]{\defnplain{#1}{#2}\index{#1}}
\newcommand{\tech}[2]{\techplain{#1}{#2}\index{#1}}

\newcommand{\tindex}[1]{\index{#1}}
\newcommand{\dindex}[1]{\index{#1}}
\newcommand{\dindexsub}[2]{\index{#1!#2}}
\newcommand{\tindexsub}[2]{\index{#1!#2}}

\usepackage{pstricks,pst-node,pst-tree,graphics,multido,pst-plot,pst-text}
\newcommand{\Treebox}[1]{\Tr{\psframebox{#1}}}

\usepackage[all]{xy}

\usepackage{flafter} % floats after they appear in the file

\usepackage{amsmath,amsthm,amscd}

\usepackage[neverdecrease]{paralist}
\usepackage{url}
%\usepackage[dvips]{graphicx} % for the German script picture
\usepackage{graphicx,rotating} % for the German script picture

\usepackage{verbatim}

\renewenvironment{enumerate}{\begin{compactenum}}{\end{compactenum}}
\renewenvironment{itemize}{\begin{compactitem}}{\end{compactitem}}


%\swapnumbers
%\newtheorem*{thmdef}{Theorem and Definition}
%\newtheorem{Ax}{\textsc{Axiom}}
\newtheorem{theorem}{Theorem}
\newtheorem{axiom}{Axiom}
\newtheorem{lemma}{Lemma}
\newtheorem*{remark}{Remark}
\newtheorem*{porism}{Porism}
\newtheorem*{GCH}{Generalized Continuum Hypothesis}
%\newtheorem{Axsch}[Ax]{\textsc{Axiom scheme}}
%\newtheorem{Thm}[theorem]{\textsc{Theorem}}
%\newtheorem{Thmsch}[theorem]{\textsc{Theorem scheme}}
%\newtheorem*{Lem}{\textsc{Lemma}}
%\newtheorem*{Lemsch}{\textsc{Lemma scheme}}
%\newtheorem*{Cor}{\textsc{Corollary}}
%\newtheorem*{Corsch}{\textsc{Corollary scheme}}


\newtheorem{thmdefn}[theorem]{Theorem and Definition}
\newtheorem{lemdefn}[lemma]{Lemma and Definition}
\newtheorem*{corollary}{Corollary}


\theoremstyle{definition}
%\newtheorem{definition}[theorem]{Definition}
\newtheorem{definition}{Definition}
\newtheorem*{convention}{Convention}
\newtheorem{parag}[theorem]{}

\newtheorem{xca}{}[chapter]

%\renewcommand{\thesection}{\Roman{section}}
%\renewcommand{\thetheorem}{\thesection.\arabic{theorem}}%
%\newcommand{\parref}[1]{\ding{161}\ref{#1}}
\newcommand{\parref}[1]{\textparagraph~\ref{#1}}
\newcommand{\sref}[1]{\S\ref{#1}}


%\usepackage{mathabx}  % for \dotdiv


\newcommand{\lto}{\Rightarrow}
\newcommand{\liff}{\Leftrightarrow}
\newcommand{\Exists}[1]{\exists{#1}\,}
\newcommand{\Forall}[1]{\forall{#1}\,}
\renewcommand{\land}{\mathrel{\&}}
\usepackage{amssymb}
\renewcommand{\leq}{\leqslant}
\newcommand{\proves}{\vdash}
\newcommand{\nproves}{\nvdash}
\newcommand{\str}[1]{\mathfrak{#1}}
\newcommand{\Models}[1][\class M]{\models_{#1}}

%%%%% For the appendix on set theories:
\newcommand{\MK}{\mathrm{MK}}
\newcommand{\NBG}{\mathrm{NBG}}
\newcommand{\Con}[1][\zfc]{\operatorname{Con}(#1)}
\newcommand{\Vee}[1][\kappa]{V_{#1}}
\newcommand{\model}[1]{#1}

%%%%% For the appendix on incompleteness
\newcommand{\Gn}[1]{\ulcorner#1\urcorner}

\newcommand{\size}[1]{\lvert#1\rvert}

\newcommand{\End}[1]{\operatorname{End}(#1)} % endomorphisms
\newcommand{\Sym}[1][A]{\operatorname{Sym}(#1)} % symmetries

\newcommand{\stnd}[1]{\mathbb{#1}}
\newcommand{\B}{\stnd B}
\newcommand{\N}{\stnd N}
\newcommand{\Z}{\stnd Z}
\newcommand{\Q}{\stnd Q}
\newcommand{\R}{\stnd R}
\newcommand{\posit}[1]{#1^{+}}
\newcommand{\Zp}{\posit{\Z}}
\newcommand{\Qp}{\posit{\Q}}
\newcommand{\Rp}{\posit{\stnd R}}
\newcommand{\injects}{\preccurlyeq}    % injects in
\newcommand{\pinjects}{\prec}
\newcommand{\equip}{\approx}
\newcommand{\nequip}{\not\approx}      % not equipollent

\newcommand{\pred}[2][(\class C,<)]{\operatorname{pred}_{#1}(#2)}
\newcommand{\dom}[1]{\operatorname{dom}(#1)}
\newcommand{\ran}[1]{\operatorname{rng}(#1)} % range

\newcommand{\setim}[1][]{''{#1}} % image of set under preceding function 
\newcommand{\setimb}[1]{[\,#1\,]}    % image of set under preceding function 
\newcommand{\rest}[1]{\restriction{#1}}% restriction of function to #1

\newcommand{\id}[1]{\operatorname{id}_{#1}}
\newcommand{\mapset}[2]{{}^{#1}#2}     % set of functions from #1 to #2

\renewcommand{\emptyset}{\varnothing}
\renewcommand{\geq}{\geqslant}
%\renewcommand{\theequation}{\fnsymbol{equation}}
%\renewcommand{\thefootnote}{\fnsymbol{footnote}}

\usepackage{upgreek}
\newcommand{\vnn}{\upomega}

\newcommand{\upDelta}{\Delta}  % I don't know why upgreek doesn't give this
\newcommand{\eomega}{\vnn}   % early omega: a class whose union is omega
\newcommand{\uomega}{\bigcup\eomega}  % union of "early omega"
\usepackage{mathrsfs}
\newcommand{\pow}[1]{\mathscr P(#1)}


\newcommand{\set}[2]{\{#1\colon #2\}}
\newcommand{\cls}[2]{\{#1\colon #2\}}

\usepackage{bm}
\newcommand{\class}[1]{\bm{#1}}
\newcommand{\universe}{\mathbf V}
\newcommand{\included}{\subseteq}
\newcommand{\nincluded}{\not\subseteq} % not included
\newcommand{\pincluded}{\subset}
\newcommand{\includes}{\supseteq}

\renewcommand{\setminus}{\smallsetminus}
\newcommand{\on}{\mathbf{ON}}
\newcommand{\cn}{\mathbf{CN}}
\newcommand{\wf}{\mathbf{WF}}           % class of well-founded sets
\newcommand{\rwf}{\mathrm{\mathbf R}}   % R used to define WF
\newcommand{\defr}[2]{\mathscr{D}_{#1}(#2)} % definable n-ary relations
\newcommand{\cu}{\mathbf{L}}            % constructible universe L
\newcommand{\const}{\mathrm{\mathbf L}} % C used to define L
\newcommand{\cl}[2][]{\operatorname{cl}_{#1}(#2)}

\newcommand{\stroke}{\,\rule{0.5mm}{1em}\,}  % For primitive numerals: |||||

\newcommand{\Dee}[2][1]{\mathscr D^{#1}(#2)}
\newcommand{\Em}[1]{\mathbf M(#1)}
\newcommand{\En}[1]{\mathbf N(#1)}
\newcommand{\Ef}[1]{\mathscr F(#1)}
\newcommand{\zf}{\operatorname{ZF}}
\newcommand{\zfc}{\operatorname{ZFC}}
\newcommand{\ac}{\operatorname{AC}}
\newcommand{\ch}{\operatorname{CH}}
\newcommand{\gch}{\operatorname{GCH}}
\newcommand{\gst}{\operatorname{GST}}
\newcommand{\stz}{\operatorname{STZ}}
\newcommand{\Ell}{\mathbf L}
\renewcommand{\phi}{\varphi}
\newcommand{\ip}[2][\str M]{#2{}^{#1}}
\newcommand{\tc}[1]{\operatorname{tc}(#1)}
\newcommand{\pl}{^+}
\newcommand{\card}[1]{\operatorname{card}(#1)}
\newcommand{\ord}[1]{\operatorname{ord}(#1)}
\newcommand{\supr}[1]{\sup(#1)}        % supremum
\newcommand{\cof}[1]{\operatorname{cof}(#1)}  % cofinality
\newcommand{\len}[1][\alpha]{\ell(#1)}

\newcommand{\scr}[1]{#1^{+}}           % successor
\newcommand{\vscr}[1]{#1'}        % successor ordinal (v for von Neumann)

\newcommand{\rank}[1]{\operatorname{rank}(#1)}
\newcommand{\rankl}[1]{\operatorname{rank}_{\const}(#1)}

%\newcommand{\cl}[2][]{\operatorname{cl}_{#1}(#2)}
\newcommand{\code}[1]{\ulcorner#1\urcorner}
\newcommand{\inv}{^{-1}}
\newcommand{\Ind}[1]{\mathbf{Ind}(#1)} % class of inductive subsets of #1

\newcommand{\comp}{{}^{\mathrm c}}  % complement

\newcommand{\injection}{\rightarrowtail}
\newcommand{\surjection}{\twoheadrightarrow}
\newcommand{\bijection}{\rightarrowtail\mkern-18mu\twoheadrightarrow}

\newcommand{\fs}[2]{\operatorname{fs}(\mapset{#1}{#2})}
\newcommand{\supp}[1]{\operatorname{supp}(#1)} % support

\begin{document}

%\frontmatter

\title{Minimalist set theory}
\author{David Pierce}
\date{May 17, 2011}

\uppertitleback{\centering
\emph{Minimalist Set Theory}\\
\mbox{}\\
This work is licensed under the\\
 Creative Commons Attribution--Noncommercial--Share-Alike
License.\\
 To view a copy of this license, visit\\
  \url{http://creativecommons.org/licenses/by-nc-sa/3.0/}\\
\mbox{}\\
\cc \ccby David Pierce \ccnc \ccsa\\
\mbox{}\\
Mathematics Department\\
Middle East Technical University\\
Ankara 06531 Turkey\\
\url{http://metu.edu.tr/~dpierce/}\\
\url{dpierce@metu.edu.tr}
}

\maketitle

\addchap{Preface}

\input{math-320-2010-text-preface.tex}

\tableofcontents

\listoftables

\listoffigures

%\mainmatter

%\renewcommand{\thepage}{\arabic{chapter}-\arabic{page}}

\chapter{Introduction}

\input{math-320-2010-text-intro.tex}

\chapter{The logic of sets}

\input{math-320-2010-text-logic.tex}

\chapter{The natural numbers}\label{ch:N}

\input{math-320-2010-text-naturals.tex}

\chapter{Ordinality}\label{ch:ON}

\input{math-320-2010-text-ordinals.tex}

\chapter{Cardinality}\label{ch:CN}

\input{math-320-2010-text-cardinals.tex}

\chapter{Models}\label{ch:models}

%\setcounter{equation}{9}

\input{math-320-2010-text-models.tex}

%\chapter{Old new stuff}

%\input{math-320-2010-text-old-new-stuff.tex}

\appendix

\chapter{The Greek alphabet}\label{app:Greek}

\input{math-320-2010-text-greek.tex}

\appendix\setcounter{chapter}1 % needed because of language-switching

\chapter{Completeness}\label{app:complete}

\input{math-320-2010-text-completeness.tex}

\chapter{Incompleteness}\label{app:incomplete}

\input{math-320-2010-text-incompleteness.tex}

\chapter{The German script}\label{app:German}

\input{math-320-2010-text-german.tex}

\chapter{The Axioms}\label{app:axioms}

\input{math-320-2010-text-axioms.tex}

\chapter{Other set theories and approaches}\label{app:theories}

\input{math-320-2010-text-theories.tex}

\backmatter

%\bibliographystyle{amsplain}
%\bibliography{../../references}

\def\cprime{$'$} \def\cprime{$'$} \def\cprime{$'$}
\providecommand{\bysame}{\leavevmode\hbox to3em{\hrulefill}\thinspace}
\providecommand{\MR}{\relax\ifhmode\unskip\space\fi MR }
% \MRhref is called by the amsart/book/proc definition of \MR.
\providecommand{\MRhref}[2]{%
  \href{http://www.ams.org/mathscinet-getitem?mr=#1}{#2}
}
\providecommand{\href}[2]{#2}
\begin{thebibliography}{10}

\bibitem{MR2583927}
Jeremy Avigad, Edward Dean, and John Mumma, \emph{A formal system for
  {E}uclid's {\it {e}lements}}, Rev. Symb. Log. \textbf{2} (2009), no.~4,
  700--768. \MR{2583927 (2010j:51021)}

\bibitem{MR1675856}
George Boolos, \emph{Logic, logic, and logic}, Harvard University Press,
  Cambridge, MA, 1998, With introductions and an afterword by John P. Burgess,
  With a preface by Burgess and Richard Jeffrey, Edited by Jeffrey. \MR{1675856
  (2000b:03005)}

\bibitem{Burali-Forti}
Cesare Burali-Forti, \emph{A question on transfinite numbers (1897)}, From
  Frege to G{\"o}del (Jean van Heijenoort, ed.), Harvard University Press,
  1976, pp.~104--12.

\bibitem{MR2157847}
John~P. Burgess, \emph{Fixing {F}rege}, Princeton Monographs in Philosophy,
  Princeton University Press, Princeton, NJ, 2005. \MR{MR2157847 (2006e:03006)}

\bibitem{Carnap}
Rudolf Carnap, \emph{Logical syntax of language}, The International Library of
  Philosophy, Routledge, London, 2000, Translated by Amethe Smeaton (Countess
  von Zepplin); first publishe in 1937.

\bibitem{MR2319486}
Ian Chiswell and Wilfrid Hodges, \emph{Mathematical logic}, Oxford Texts in
  Logic, vol.~3, Oxford University Press, Oxford, 2007. \MR{2319486}

\bibitem{MR18:631a}
Alonzo Church, \emph{Introduction to mathematical logic. {V}ol. {I}}, Princeton
  University Press, Princeton, N.~J., 1956. \MR{18,631a}

\bibitem{MR0232676}
Paul~J. Cohen, \emph{Set theory and the continuum hypothesis}, W. A. Benjamin,
  Inc., New York-Amsterdam, 1966. \MR{MR0232676 (38 \#999)}

\bibitem{MR0159773}
Richard Dedekind, \emph{Essays on the theory of numbers. {I}: {C}ontinuity and
  irrational numbers. {II}: {T}he nature and meaning of numbers}, authorized
  translation by Wooster Woodruff Beman, Dover Publications Inc., New York,
  1963. \MR{MR0159773 (28 \#2989)}

\bibitem{Descartes-Geometry}
Descartes, \emph{The geometry of {R}en{\'e} {D}escartes}, Dover Publications,
  Inc., New York, 1954, Translated from the French and Latin by David Eugene
  Smith and Marcia L. Latham, with a facsimile of the first edition of 1637.

\bibitem{Diogenes}
{Diogenes La{\"e}rtius}, \emph{Lives of the eminent philosophers}, Loeb
  Classical Library, vol.~2, Harvard University Press, 1925.

\bibitem{Euclid-Heiberg}
Euclid, \emph{Euclidis {E}lementa}, Euclidis Opera Omnia, Teubner, 1883,
  Edited, and with Latin translation, by I. L. Heiberg.

\bibitem{MR1932864}
\bysame, \emph{Euclid's {E}lements}, Green Lion Press, Santa Fe, NM, 2002, All
  thirteen books complete in one volume, the Thomas L. Heath translation,
  edited by Dana Densmore. \MR{MR1932864 (2003j:01044)}

\bibitem{MEU2}
H.~W. Fowler, \emph{A dictionary of modern {E}nglish usage}, second ed., Oxford
  University Press, 1982, revised and edited by Ernest Gowers.

\bibitem{MEU}
\bysame, \emph{A dictionary of modern {E}nglish usage}, Wordsworth Editions,
  Ware, Hertfordshire, UK, 1994, reprint of the original 1926 edition.

\bibitem{MR0345816}
Abraham~A. Fraenkel, Yehoshua Bar-Hillel, and Azriel Levy, \emph{Foundations of
  set theory}, revised ed., North-Holland Publishing Co., Amsterdam, 1973, With
  the collaboration of Dirk van Dalen, Studies in Logic and the Foundations of
  Mathematics, Vol. 67. \MR{MR0345816 (49 \#10546)}

\bibitem{Goedel-compl}
Kurt G{\"o}del, \emph{The completeness of the axioms of the functional calculus
  of logic (1930a)}, From Frege to G{\"o}del (Jean van Heijenoort, ed.),
  Harvard University Press, 1976, pp.~582--91.

\bibitem{Goedel-incompl}
\bysame, \emph{On formally undecidable propositions of {\emph{{p}rincipia
  mathematica}} and related systems {I} (1931)}, From Frege to G{\"o}del (Jean
  van Heijenoort, ed.), Harvard University Press, 1976, pp.~596--616.

\bibitem{German}
Roe-Merrill~S. Heffner, \emph{Brief {G}erman grammar}, D. C. Heath and Company,
  Boston, 1931.

\bibitem{CODoEE}
T.~F. Hoad (ed.), \emph{The concise {O}xford dictionary of {E}nglish
  etymology}, Oxford University Press, Oxford and New York, 1986, Reissued in
  new covers, 1996.

\bibitem{MR94e:03002}
Wilfrid Hodges, \emph{Model theory}, Encyclopedia of Mathematics and its
  Applications, vol.~42, Cambridge University Press, Cambridge, 1993.
  \MR{94e:03002}

\bibitem{Hodges-Building}
\bysame, \emph{Building models by games}, Dover Publications, Mineola, New
  York, 2006, original publication, 1985. \MR{MR812274 (87h:03045)}

\bibitem{MR85e:03003}
Kenneth Kunen, \emph{Set theory}, Studies in Logic and the Foundations of
  Mathematics, vol. 102, North-Holland Publishing Co., Amsterdam, 1983, An
  introduction to independence proofs, Reprint of the 1980 original.
  \MR{85e:03003}

\bibitem{Lemmon}
E.~J. Lemmon, \emph{Introduction to axiomatic set theory}, Routledge \& Kegan
  Paul Ltd / Dover Publications Inc, London / New York, 1969.

\bibitem{MR1924429}
Azriel Levy, \emph{Basic set theory}, Dover Publications Inc., Mineola, NY,
  2002, Reprint of the 1979 original [Springer, Berlin]. \MR{MR1924429}

\bibitem{MR1988966}
Angus Macintyre, \emph{Model theory: geometrical and set-theoretic aspects and
  prospects}, Bull. Symbolic Logic \textbf{9} (2003), no.~2, 197--212, New
  programs and open problems in the foundation of mathematics (Paris, 2000).
  \MR{MR1988966 (2004g:03053)}

\bibitem{MR1924282}
David Marker, \emph{Model theory: an introduction}, Graduate Texts in
  Mathematics, vol. 217, Springer-Verlag, New York, 2002. \MR{1 924 282}

\bibitem{Peano}
Giuseppe Peano, \emph{The principles of arithmetic, presented by a new method
  (1889)}, From {F}rege to {G}{\"o}del (Jean van Heijenoort, ed.), Harvard
  University Press, 1976, pp.~83--97.

\bibitem{Russell-letter}
Bertrand Russell, \emph{Letter to {F}rege (1902)}, From Frege to G{\"o}del
  (Jean van Heijenoort, ed.), Harvard University Press, 1976, pp.~124--5.

\bibitem{MR1809685}
Joseph~R. Shoenfield, \emph{Mathematical logic}, Association for Symbolic
  Logic, Urbana, IL, 2001, reprint of the 1973 second printing. \MR{MR1809685
  (2001h:03003)}

\bibitem{Skolem-some-remarks}
Thoralf Skolem, \emph{Some remarks on axiomatized set theory (1922)}, From
  Frege to G{\"o}del (Jean van Heijenoort, ed.), Harvard University Press,
  1976, pp.~290--301.

\bibitem{MR83e:04002}
Robert~R. Stoll, \emph{Set theory and logic}, Dover Publications Inc., New
  York, 1979, corrected reprint of the 1963 edition. \MR{83e:04002}

\bibitem{von-Neumann-ax}
John von Neumann, \emph{An axiomatization of set theory (1925)}, From Frege to
  G{\"o}del (Jean van Heijenoort, ed.), Harvard University Press, 1976,
  pp.~393--413.

\bibitem{von-Neumann}
John von Neumann, \emph{On the introduction of transfinite numbers (1923)},
  From {F}rege to {G}{\"o}del (Jean van Heijenoort, ed.), Harvard University
  Press, 1976, pp.~346--354.

\bibitem{Zermelo-invest}
Ernst Zermelo, \emph{Investigations in the foundations of set theory {I}
  (1908a)}, From Frege to G{\"o}del (Jean van Heijenoort, ed.), Harvard
  University Press, 1976, pp.~199--215.

\end{thebibliography}


\end{document}
