\relax 
\select@language{english}
\@writefile{toc}{\select@language{english}}
\@writefile{lof}{\select@language{english}}
\@writefile{lot}{\select@language{english}}
\citation{Descartes-Geometry}
\newlabel{eqn:eqn}{{1}{i}}
\newlabel{eqn:set}{{2}{i}}
\@writefile{toc}{\contentsline {chapter}{\numberline {1}Introduction}{1}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{ch:intro}{{1}{1}}
\@writefile{toc}{\contentsline {section}{\numberline {1.0}Building-blocks}{1}}
\newlabel{eqn:map-set}{{1.1}{1}}
\newlabel{eqn:A1}{{1.2}{2}}
\newlabel{eqn:concat}{{1.3}{2}}
\@writefile{toc}{\contentsline {section}{\numberline {1.1}Structures}{3}}
\newlabel{S:structures}{{1.1}{3}}
\newlabel{examples:structures}{{1.1.1}{3}}
\citation{MR0409165}
\citation{MR1924282}
\citation{MR1800596}
\citation{MR94e:03002}
\newlabel{syntax}{{1.1}{5}}
\@writefile{toc}{\contentsline {section}{\numberline {1.2}Propositional logic}{5}}
\newlabel{sect:prop}{{1.2}{5}}
\newlabel{eqn:infix}{{1.4}{6}}
\citation{Post}
\newlabel{lem:Post}{{1.2.1}{7}}
\citation{MR83e:04002}
\newlabel{thm:to-not}{{1.2.2}{8}}
\@writefile{toc}{\contentsline {section}{\numberline {1.3}Syntax and semantics}{8}}
\citation{MR0263601}
\citation{Post}
\citation{LSJ}
\citation{Shorey}
\citation{Shorey}
\citation{Aristotle-LI}
\select@language{polutonikogreek}
\@writefile{toc}{\select@language{polutonikogreek}}
\@writefile{lof}{\select@language{polutonikogreek}}
\@writefile{lot}{\select@language{polutonikogreek}}
\select@language{english}
\@writefile{toc}{\select@language{english}}
\@writefile{lof}{\select@language{english}}
\@writefile{lot}{\select@language{english}}
\select@language{polutonikogreek}
\@writefile{toc}{\select@language{polutonikogreek}}
\@writefile{lof}{\select@language{polutonikogreek}}
\@writefile{lot}{\select@language{polutonikogreek}}
\select@language{english}
\@writefile{toc}{\select@language{english}}
\@writefile{lof}{\select@language{english}}
\@writefile{lot}{\select@language{english}}
\select@language{polutonikogreek}
\@writefile{toc}{\select@language{polutonikogreek}}
\@writefile{lof}{\select@language{polutonikogreek}}
\@writefile{lot}{\select@language{polutonikogreek}}
\select@language{english}
\@writefile{toc}{\select@language{english}}
\@writefile{lof}{\select@language{english}}
\@writefile{lot}{\select@language{english}}
\select@language{polutonikogreek}
\@writefile{toc}{\select@language{polutonikogreek}}
\@writefile{lof}{\select@language{polutonikogreek}}
\@writefile{lot}{\select@language{polutonikogreek}}
\select@language{english}
\@writefile{toc}{\select@language{english}}
\@writefile{lof}{\select@language{english}}
\@writefile{lot}{\select@language{english}}
\select@language{polutonikogreek}
\@writefile{toc}{\select@language{polutonikogreek}}
\@writefile{lof}{\select@language{polutonikogreek}}
\@writefile{lot}{\select@language{polutonikogreek}}
\select@language{english}
\@writefile{toc}{\select@language{english}}
\@writefile{lof}{\select@language{english}}
\@writefile{lot}{\select@language{english}}
\select@language{polutonikogreek}
\@writefile{toc}{\select@language{polutonikogreek}}
\@writefile{lof}{\select@language{polutonikogreek}}
\@writefile{lot}{\select@language{polutonikogreek}}
\select@language{english}
\@writefile{toc}{\select@language{english}}
\@writefile{lof}{\select@language{english}}
\@writefile{lot}{\select@language{english}}
\select@language{polutonikogreek}
\@writefile{toc}{\select@language{polutonikogreek}}
\@writefile{lof}{\select@language{polutonikogreek}}
\@writefile{lot}{\select@language{polutonikogreek}}
\select@language{english}
\@writefile{toc}{\select@language{english}}
\@writefile{lof}{\select@language{english}}
\@writefile{lot}{\select@language{english}}
\select@language{polutonikogreek}
\@writefile{toc}{\select@language{polutonikogreek}}
\@writefile{lof}{\select@language{polutonikogreek}}
\@writefile{lot}{\select@language{polutonikogreek}}
\select@language{english}
\@writefile{toc}{\select@language{english}}
\@writefile{lof}{\select@language{english}}
\@writefile{lot}{\select@language{english}}
\select@language{polutonikogreek}
\@writefile{toc}{\select@language{polutonikogreek}}
\@writefile{lof}{\select@language{polutonikogreek}}
\@writefile{lot}{\select@language{polutonikogreek}}
\select@language{english}
\@writefile{toc}{\select@language{english}}
\@writefile{lof}{\select@language{english}}
\@writefile{lot}{\select@language{english}}
\select@language{polutonikogreek}
\@writefile{toc}{\select@language{polutonikogreek}}
\@writefile{lof}{\select@language{polutonikogreek}}
\@writefile{lot}{\select@language{polutonikogreek}}
\select@language{english}
\@writefile{toc}{\select@language{english}}
\@writefile{lof}{\select@language{english}}
\@writefile{lot}{\select@language{english}}
\select@language{polutonikogreek}
\@writefile{toc}{\select@language{polutonikogreek}}
\@writefile{lof}{\select@language{polutonikogreek}}
\@writefile{lot}{\select@language{polutonikogreek}}
\select@language{english}
\@writefile{toc}{\select@language{english}}
\@writefile{lof}{\select@language{english}}
\@writefile{lot}{\select@language{english}}
\select@language{polutonikogreek}
\@writefile{toc}{\select@language{polutonikogreek}}
\@writefile{lof}{\select@language{polutonikogreek}}
\@writefile{lot}{\select@language{polutonikogreek}}
\select@language{english}
\@writefile{toc}{\select@language{english}}
\@writefile{lof}{\select@language{english}}
\@writefile{lot}{\select@language{english}}
\citation{MR0409165}
\@writefile{toc}{\contentsline {chapter}{\numberline {2}Propositional model-theory}{11}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{ch:prop}{{2}{11}}
\@writefile{toc}{\contentsline {section}{\numberline {2.0}Propositional formulas}{11}}
\newlabel{sect:prop-form}{{2.0}{11}}
\citation{MR18:631a}
\newlabel{strings}{{2.0}{12}}
\newlabel{example:tree}{{2.0.2}{13}}
\newlabel{exercise:sub-f}{{3}{14}}
\@writefile{toc}{\contentsline {section}{\numberline {2.1}Induction}{14}}
\newlabel{sect:induction}{{2.1}{14}}
\newlabel{thm:induction}{{2.1.1}{14}}
\@writefile{toc}{\contentsline {section}{\numberline {2.2}Recursion}{16}}
\newlabel{lem:uniqueness}{{2.2.1}{16}}
\newlabel{lem:formulas}{{2.2.2}{16}}
\newlabel{lem:no-pis}{{2.2.3}{17}}
\newlabel{thm:urf}{{2.2.4}{17}}
\newlabel{thm:recursion}{{2.2.5}{18}}
\newlabel{por:recursion}{{2.2.7}{19}}
\newlabel{example:no-recursion}{{2.2.8}{19}}
\@writefile{toc}{\contentsline {section}{\numberline {2.3}Syntactic entailment}{20}}
\newlabel{sect:syn-entail}{{2.3}{20}}
\newlabel{lem:immediate}{{2.3.1}{21}}
\newlabel{lem:FtoF}{{2.3.2}{21}}
\newlabel{eqn:proof-line1}{{2.1}{21}}
\newlabel{eqn:proof-line5}{{2.5}{21}}
\citation{MR0263601}
\newlabel{lem:pis-proof}{{2.3.3}{22}}
\newlabel{thm:proves}{{2.3.4}{22}}
\@writefile{toc}{\contentsline {section}{\numberline {2.4}Notation}{22}}
\newlabel{sect:notation}{{2.4}{22}}
\newlabel{thm:simpler}{{2.4.1}{23}}
\@writefile{toc}{\contentsline {section}{\numberline {2.5}Theorems}{24}}
\newlabel{thm:deduction}{{2.5.1}{25}}
\newlabel{lem:several}{{2.5.2}{25}}
\newlabel{item:contrad}{{2.5.2}{25}}
\newlabel{item:double-neg}{{2.5.2}{25}}
\newlabel{item:other-way}{{2.5.2}{25}}
\newlabel{item:other-contrap}{{2.5.2}{25}}
\newlabel{item:imp}{{2.5.2}{25}}
\newlabel{item:two-cases}{{2.5.2}{25}}
\@writefile{toc}{\contentsline {section}{\numberline {2.6}Logical entailment}{26}}
\newlabel{sect:logical}{{2.6}{26}}
\newlabel{thm:associativity}{{2.6.1}{26}}
\newlabel{eqn:models}{{2.6}{27}}
\newlabel{lem:tf}{{2.6.2}{27}}
\newlabel{eqn:tf}{{2.7}{27}}
\newlabel{eqn:ft}{{2.8}{27}}
\newlabel{lem:reversing}{{2.6.3}{28}}
\newlabel{thm:closure}{{2.6.4}{28}}
\newlabel{exercise:caps}{{11}{29}}
\newlabel{exercise:cups}{{12}{29}}
\@writefile{toc}{\contentsline {section}{\numberline {2.7}Compactness}{29}}
\newlabel{lem:sat}{{2.7.1}{29}}
\newlabel{example:compactness}{{2.7.4}{30}}
\newlabel{cor:finitary}{{2.7.5}{30}}
\@writefile{toc}{\contentsline {section}{\numberline {2.8}Generalizations}{31}}
\@writefile{toc}{\contentsline {section}{\numberline {2.9}Completeness}{32}}
\citation{MR18:631a}
\newlabel{lem:eval}{{2.9.2}{33}}
\newlabel{eqn:completeness}{{2.10}{34}}
\@writefile{toc}{\contentsline {chapter}{\numberline {3}First-order logic}{35}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\numberline {3.1}Terms}{35}}
\newlabel{eqn:variable}{{3.1}{35}}
\newlabel{eqn:constant}{{3.2}{35}}
\newlabel{eqn:I}{{3.3}{37}}
\newlabel{eqn:a}{{3.4}{37}}
\newlabel{eqn:a-again}{{3.5}{38}}
\@writefile{toc}{\contentsline {section}{\numberline {3.2}Formulas}{39}}
\newlabel{eqn:=-int}{{3.6}{39}}
\newlabel{eqn:R-int}{{3.7}{39}}
\newlabel{eqn:truth-=}{{3.8}{39}}
\newlabel{eqn:truth-R}{{3.9}{39}}
\newlabel{eqn:int-not}{{3.10}{40}}
\newlabel{eqn:int-to}{{3.11}{40}}
\newlabel{thm:UR-formulas}{{3.2.1}{40}}
\newlabel{eqn:pi}{{3.12}{41}}
\newlabel{eqn:truth-atomic}{{3.13}{41}}
\newlabel{eqn:def-neg}{{3.14}{42}}
\newlabel{eqn:def-to}{{3.15}{42}}
\newlabel{eqn:truth-E}{{3.16}{42}}
\newlabel{rem:def}{{3.2.4}{43}}
\@writefile{toc}{\contentsline {section}{\numberline {3.3}Logical consequence}{44}}
\newlabel{example:entailment}{{3.3.2}{44}}
\newlabel{eqn:ex1}{{3.17}{45}}
\newlabel{eqn:ex2}{{3.18}{45}}
\newlabel{examp:groups}{{3.3.5}{46}}
\newlabel{lem:complete}{{3.3.7}{46}}
\@writefile{toc}{\contentsline {section}{\numberline {3.4}Additional exercises}{47}}
\@writefile{toc}{\contentsline {chapter}{\numberline {4}Quantifier-elimination}{48}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{lem:QE}{{4.0.2}{49}}
\newlabel{eqn:Ednf}{{4.1}{49}}
\newlabel{thm:TO-QE}{{4.0.3}{50}}
\newlabel{eqn:goal}{{4.2}{51}}
\@writefile{toc}{\contentsline {chapter}{\numberline {5}Relations between structures}{53}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\numberline {5.1}Fundamental definitions}{53}}
\newlabel{eqn:sigma-iff}{{5.1}{53}}
\@writefile{toc}{\contentsline {section}{\numberline {5.2}Additional definitions}{54}}
\newlabel{eqn:h}{{5.2}{54}}
\newlabel{eqn:h-iff}{{5.3}{54}}
\@writefile{toc}{\contentsline {section}{\numberline {5.3}Implications}{55}}
\newlabel{lem:fundamental}{{5.3.2}{55}}
\newlabel{eqn:isom-alt}{{5.4}{55}}
\newlabel{eqn:isom-terms}{{5.5}{55}}
\newlabel{thm:isom}{{5.3.6}{57}}
\newlabel{thm:elsub}{{5.3.6}{57}}
\newlabel{eqn:B*}{{5.6}{57}}
\newlabel{eqn:diag}{{5.7}{57}}
\newlabel{eqn:eldiag}{{5.8}{57}}
\newlabel{cor:QE-MC}{{5.3.7}{57}}
\@writefile{toc}{\contentsline {section}{\numberline {5.4}Categoricity}{57}}
\newlabel{example:TO*}{{5.4.1}{58}}
\newlabel{example:empty}{{5.4.2}{58}}
\newlabel{eqn:IT}{{5.9}{59}}
\newlabel{example:binary}{{5.4.4}{59}}
\@writefile{toc}{\contentsline {chapter}{\numberline {6}Compactness}{60}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{eqn:compactness}{{6.1}{62}}
\newlabel{thm:LST}{{6.0.11}{65}}
\newlabel{thm:Vaught}{{6.0.12}{65}}
\@writefile{toc}{\contentsline {section}{\numberline {6.1}Additional exercises}{66}}
\@writefile{toc}{\contentsline {chapter}{\numberline {7}Completeness}{67}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\numberline {7.1}Logic in general}{67}}
\newlabel{lem:gen}{{7.1.1}{68}}
\newlabel{ex1}{{7.1}{68}}
\@writefile{toc}{\contentsline {section}{\numberline {7.2}Propositional logic}{69}}
\newlabel{lem:sound}{{7.2.1}{69}}
\@writefile{toc}{\contentsline {section}{\numberline {7.3}First-order logic}{70}}
\newlabel{sect:1st}{{7.3}{70}}
\citation{MR0033781}
\citation{MR1396852}
\citation{MR0225631}
\newlabel{lem:validities}{{7.3.1}{71}}
\newlabel{ex2}{{7.3}{71}}
\@writefile{toc}{\contentsline {section}{\numberline {7.4}Tautological completeness}{71}}
\newlabel{eqn:prop-ent}{{7.1}{71}}
\newlabel{eqn:1-ent}{{7.2}{71}}
\newlabel{lem:1}{{7.4.1}{72}}
\newlabel{lem:2}{{7.4.3}{72}}
\newlabel{ex3}{{7.4}{72}}
\newlabel{ex4}{{7.4.5}{73}}
\@writefile{toc}{\contentsline {section}{\numberline {7.5}Deductive completeness}{73}}
\newlabel{lem:4}{{7.5.1}{73}}
\newlabel{lem:5}{{7.5.2}{73}}
\newlabel{ex5}{{7.5}{73}}
\newlabel{ex6}{{7.5}{73}}
\@writefile{toc}{\contentsline {section}{\numberline {7.6}Completeness}{74}}
\newlabel{eqn:axiom-E}{{7.3}{74}}
\newlabel{eqn:to-bot}{{7.4}{74}}
\newlabel{eqn:to-bot-again}{{7.5}{74}}
\newlabel{eqn:equality}{{7.6}{75}}
\newlabel{eqn:more-equality}{{7.7}{75}}
\newlabel{eqn:=1}{{7.8}{75}}
\newlabel{eqn:=2}{{7.9}{75}}
\newlabel{eqn:=3}{{7.10}{75}}
\newlabel{eqn:R}{{7.11}{76}}
\newlabel{ex7}{{7.6}{76}}
\newlabel{eqn:t}{{7.12}{76}}
\newlabel{eqn:f}{{7.13}{77}}
\newlabel{eqn:function}{{7.14}{77}}
\newlabel{thm:completeness}{{7.6.8}{77}}
\@writefile{toc}{\contentsline {chapter}{\numberline {8}Numbers of countable models}{79}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{eqn:ITN}{{8.1}{79}}
\@writefile{toc}{\contentsline {section}{\numberline {8.1}Three models}{79}}
\newlabel{thm:Cantor}{{8.1.1}{80}}
\newlabel{cor:T3-3}{{8.1.2}{80}}
\newlabel{thm:T3-QE}{{8.1.3}{81}}
\@writefile{toc}{\contentsline {section}{\numberline {8.2}Omitting types}{82}}
\newlabel{lem:types-embeddings}{{8.2.4}{84}}
\@writefile{toc}{\contentsline {section}{\numberline {8.3}Prime structures}{84}}
\newlabel{thm:prime-atomic}{{8.3.2}{85}}
\newlabel{por:prime-isom}{{8.3.3}{85}}
\newlabel{lem:I-S}{{8.3.4}{85}}
\newlabel{thm:prime-existence}{{8.3.5}{85}}
\@writefile{toc}{\contentsline {section}{\numberline {8.4}Saturated structures}{86}}
\newlabel{thm:saturated}{{8.4.1}{86}}
\newlabel{thm:homog}{{8.4.2}{86}}
\@writefile{toc}{\contentsline {section}{\numberline {8.5}One model}{87}}
\bibstyle{plain}
\bibdata{../../../../TeX/references.bib}
\@writefile{toc}{\contentsline {section}{\numberline {8.6}Not two models}{88}}
\bibcite{Aristotle-LI}{1}
\bibcite{MR0409165}{2}
\bibcite{MR18:631a}{3}
\bibcite{Descartes-Geometry}{4}
\bibcite{MR0033781}{5}
\bibcite{MR1396852}{6}
\bibcite{MR94e:03002}{7}
\bibcite{LSJ}{8}
\bibcite{MR1924282}{9}
\bibcite{Shorey}{10}
\bibcite{Post}{11}
\bibcite{MR1800596}{12}
\bibcite{MR0225631}{13}
\bibcite{MR83e:04002}{14}
\bibcite{MR0263601}{15}