This is pdfeTeXk, Version 3.141592-1.20a-2.2 (Web2C 7.5.3) (format=latex 2005.9.30) 3 JAN 2006 13:59 entering extended mode %&-line parsing enabled. **\nonstopmode\input mod-thy-main.tex (./mod-thy-main.tex (/usr/TeX/texmf-dist/tex/latex/base/book.cls Document Class: book 2004/02/16 v1.4f Standard LaTeX document class (/usr/TeX/texmf-dist/tex/latex/base/bk10.clo File: bk10.clo 2004/02/16 v1.4f Standard LaTeX file (size option) ) \c@part=\count79 \c@chapter=\count80 \c@section=\count81 \c@subsection=\count82 \c@subsubsection=\count83 \c@paragraph=\count84 \c@subparagraph=\count85 \c@figure=\count86 \c@table=\count87 \abovecaptionskip=\skip41 \belowcaptionskip=\skip42 \bibindent=\dimen102 ) (/usr/TeX/texmf-dist/tex/generic/babel/babel.sty Package: babel 2004/11/20 v3.8d The Babel package (/usr/TeX/texmf-dist/tex/generic/babel/greek.ldf Language: greek 2004/02/19 v1.3l Greek support from the babel system (/usr/TeX/texmf-dist/tex/generic/babel/babel.def File: babel.def 2004/11/20 v3.8d Babel common definitions \babel@savecnt=\count88 \U@D=\dimen103 ) Loading the definitions for the Greek font encoding (/usr/TeX/texmf-dist/tex/generic/babel/lgrenc.def File: lgrenc.def 2001/01/30 v2.2e Greek Encoding )) (/usr/TeX/texmf-dist/tex/generic/babel/english.ldf Language: english 2004/06/14 v3.3o English support from the babel system \l@british = a dialect from \language\l@english \l@UKenglish = a dialect from \language\l@english \l@canadian = a dialect from \language\l@american \l@australian = a dialect from \language\l@british \l@newzealand = a dialect from \language\l@british )) (/usr/TeX/texmf/tex/latex/psgreek/psgreek.sty Package: psgreek 2003/04/16 Babel support for Greek PostScript fonts (/usr/TeX/texmf-dist/tex/latex/graphics/keyval.sty Package: keyval 1999/03/16 v1.13 key=value parser (DPC) \KV@toks@=\toks14 ) LaTeX Info: Redefining \greektext on input line 99. LaTeX Info: Redefining \latintext on input line 122. ) (/usr/TeX/texmf-dist/tex/latex/showlabels/showlabels.sty Package: showlabels 2004/10/08 v1.5 Package: `showlabels' v1.5 <2004/10/08> \SL@labelposition=\count89 ) (/usr/TeX/texmf-dist/tex/generic/xypic/xy.sty (/usr/TeX/texmf-dist/tex/generic/xypic/xy.tex Bootstrap'ing: catcodes, docmode, (/usr/TeX/texmf-dist/tex/generic/xypic/xyrecat.tex) (/usr/TeX/texmf-dist/tex/generic/xypic/xyidioms.tex) Xy-pic version 3.7 <1999/02/16> Copyright (c) 1991-1998 by Kristoffer H. Rose Xy-pic is free software: see the User's Guide for details. Loading kernel: messages; fonts; allocations: state, \X@c=\dimen104 \Y@c=\dimen105 \U@c=\dimen106 \D@c=\dimen107 \L@c=\dimen108 \R@c=\dimen109 \Edge@c=\toks15 \X@p=\dimen110 \Y@p=\dimen111 \U@p=\dimen112 \D@p=\dimen113 \L@p=\dimen114 \R@p=\dimen115 \Edge@p=\toks16 \X@origin=\dimen116 \Y@origin=\dimen117 \X@xbase=\dimen118 \Y@xbase=\dimen119 \X@ybase=\dimen120 \Y@ybase=\dimen121 \X@min=\dimen122 \Y@min=\dimen123 \X@max=\dimen124 \Y@max=\dimen125 \lastobjectbox@=\box26 \zerodotbox@=\box27 \almostz@=\dimen126 direction, \d@X=\dimen127 \d@Y=\dimen128 \K@=\count90 \KK@=\count91 \Direction=\count92 \K@dXdY=\dimen129 \K@dYdX=\dimen130 \xyread@=\read1 \xywrite@=\write3 \csp@=\count93 \quotPTK@=\dimen131 utility macros; pictures: \xy, positions, \swaptoks@@=\toks17 \connectobjectbox@@=\box28 objects, \styletoks@=\toks18 decorations; kernel objects: directionals, circles, text; options; algorithms: directions, edges, connections; Xy-pic loaded) Package: xy 1999/02/16 Xy-pic version 3.7 (/usr/TeX/texmf-dist/tex/generic/xypic/xyall.tex Xy-pic option: All features v.3.3 (/usr/TeX/texmf-dist/tex/generic/xypic/xycurve.tex Xy-pic option: Curve and Spline extension v.3.7 curve, \crv@cnt@=\count94 \crvpts@=\toks19 \splinebox@=\box29 \splineval@=\dimen132 \splinedepth@=\dimen133 \splinetol@=\dimen134 \splinelength@=\dimen135 circles, \L@=\dimen136 loaded) (/usr/TeX/texmf-dist/tex/generic/xypic/xyframe.tex Xy-pic option: Frame and Bracket extension v.3.7 loaded) (/usr/TeX/texmf-dist/tex/generic/xypic/xycmtip.tex Xy-pic option: Computer Modern tip extension v.3.3 (/usr/TeX/texmf-dist/tex/generic/xypic/xytips.tex Xy-pic option: More Tips extension v.3.3 loaded) loaded) (/usr/TeX/texmf-dist/tex/generic/xypic/xyline.tex Xy-pic option: Line styles extension v.3.6 \xylinethick@=\dimen137 loaded) (/usr/TeX/texmf-dist/tex/generic/xypic/xyrotate.tex Xy-pic option: Rotate and Scale extension v.3.3 loaded) (/usr/TeX/texmf-dist/tex/generic/xypic/xycolor.tex Xy-pic option: Colour extension v.3.3 loaded) (/usr/TeX/texmf-dist/tex/generic/xypic/xymatrix.tex Xy-pic option: Matrix feature v.3.4 \Row=\count95 \Col=\count96 \queue@=\toks20 \queue@@=\toks21 \qcount@=\count97 \qcount@@=\count98 \matrixsize@=\count99 loaded) (/usr/TeX/texmf-dist/tex/generic/xypic/xyarrow.tex Xy-pic option: Arrow and Path feature v.3.5 path, \ar, loaded) (/usr/TeX/texmf-dist/tex/generic/xypic/xygraph.tex Xy-pic option: Graph feature v.3.7 loaded) loaded)) (../../../../TeX/abbreviations.tex (/usr/TeX/texmf-dist/tex/latex/amsfonts/amssymb.sty Package: amssymb 2002/01/22 v2.2d (/usr/TeX/texmf-dist/tex/latex/amsfonts/amsfonts.sty Package: amsfonts 2001/10/25 v2.2f \@emptytoks=\toks22 \symAMSa=\mathgroup4 \symAMSb=\mathgroup5 LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold' (Font) U/euf/m/n --> U/euf/b/n on input line 132. )) (/usr/TeX/texmf-dist/tex/latex/amslatex/amsmath.sty Package: amsmath 2000/07/18 v2.13 AMS math features \@mathmargin=\skip43 For additional information on amsmath, use the `?' option. (/usr/TeX/texmf-dist/tex/latex/amslatex/amstext.sty Package: amstext 2000/06/29 v2.01 (/usr/TeX/texmf-dist/tex/latex/amslatex/amsgen.sty File: amsgen.sty 1999/11/30 v2.0 \@emptytoks=\toks23 \ex@=\dimen138 )) (/usr/TeX/texmf-dist/tex/latex/amslatex/amsbsy.sty Package: amsbsy 1999/11/29 v1.2d \pmbraise@=\dimen139 ) (/usr/TeX/texmf-dist/tex/latex/amslatex/amsopn.sty Package: amsopn 1999/12/14 v2.01 operator names ) \inf@bad=\count100 LaTeX Info: Redefining \frac on input line 211. \uproot@=\count101 \leftroot@=\count102 LaTeX Info: Redefining \overline on input line 307. \classnum@=\count103 \DOTSCASE@=\count104 LaTeX Info: Redefining \ldots on input line 379. LaTeX Info: Redefining \dots on input line 382. LaTeX Info: Redefining \cdots on input line 467. \Mathstrutbox@=\box30 \strutbox@=\box31 \big@size=\dimen140 LaTeX Font Info: Redeclaring font encoding OML on input line 567. LaTeX Font Info: Redeclaring font encoding OMS on input line 568. \macc@depth=\count105 \c@MaxMatrixCols=\count106 \dotsspace@=\muskip10 \c@parentequation=\count107 \dspbrk@lvl=\count108 \tag@help=\toks24 \row@=\count109 \column@=\count110 \maxfields@=\count111 \andhelp@=\toks25 \eqnshift@=\dimen141 \alignsep@=\dimen142 \tagshift@=\dimen143 \tagwidth@=\dimen144 \totwidth@=\dimen145 \lineht@=\dimen146 \@envbody=\toks26 \multlinegap=\skip44 \multlinetaggap=\skip45 \mathdisplay@stack=\toks27 LaTeX Info: Redefining \[ on input line 2666. LaTeX Info: Redefining \] on input line 2667. ) (/usr/TeX/texmf-dist/tex/latex/amslatex/amsthm.sty Package: amsthm 2004/08/06 v2.20 \thm@style=\toks28 \thm@bodyfont=\toks29 \thm@headfont=\toks30 \thm@notefont=\toks31 \thm@headpunct=\toks32 \thm@preskip=\skip46 \thm@postskip=\skip47 \thm@headsep=\skip48 \dth@everypar=\toks33 ) (/usr/TeX/texmf-dist/tex/latex/amslatex/amscd.sty Package: amscd 1999/11/29 v2.0 \athelp@=\toks34 \minaw@=\dimen147 \bigaw@=\dimen148 \minCDarrowwidth=\dimen149 ) (/usr/TeX/texmf-dist/tex/latex/amsfonts/euscript.sty Package: euscript 2001/10/01 v2.2d Euler Script fonts LaTeX Font Info: Overwriting math alphabet `\EuScript' in version `bold' (Font) U/eus/m/n --> U/eus/b/n on input line 55. ) (/usr/TeX/texmf-dist/tex/latex/ltxmisc/url.sty \Urlmuskip=\muskip11 Package: url 2004/03/15 ver 3.1 Verb mode for urls, etc. ) \mathsavebox=\box32 \mathboxwidth=\skip49 ) (../../../../TeX/format.tex \c@mylist=\count112 \c@myenum=\count113 \c@xparts=\count114 ) (../../../../TeX/book-theorems.tex \c@thm=\count115 \c@theorem=\count116 \c@problm=\count117 \c@txtlst=\count118 ) (./mod-thy-main.aux LaTeX Font Info: Try loading font information for LGR+fof on input line 39. (/usr/TeX/texmf/tex/latex/psgreek/lgrfof.fd File: lgrfof.fd 2004/04/23 Fontinst v1.926 font definitions for LGR/fof. )) \openout1 = `mod-thy-main.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 37. LaTeX Font Info: ... okay on input line 37. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 37. LaTeX Font Info: ... okay on input line 37. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 37. LaTeX Font Info: ... okay on input line 37. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 37. LaTeX Font Info: ... okay on input line 37. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 37. LaTeX Font Info: ... okay on input line 37. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 37. LaTeX Font Info: ... okay on input line 37. LaTeX Font Info: Checking defaults for LGR/cmr/m/n on input line 37. LaTeX Font Info: Try loading font information for LGR+cmr on input line 37. (/usr/TeX/texmf-dist/tex/generic/babel/lgrcmr.fd File: lgrcmr.fd 2001/01/30 v2.2e Greek Computer Modern ) LaTeX Font Info: ... okay on input line 37. LaTeX Font Info: Try loading font information for U+msa on input line 39. (/usr/TeX/texmf-dist/tex/latex/amsfonts/umsa.fd File: umsa.fd 2002/01/19 v2.2g AMS font definitions ) LaTeX Font Info: Try loading font information for U+msb on input line 39. (/usr/TeX/texmf-dist/tex/latex/amsfonts/umsb.fd File: umsb.fd 2002/01/19 v2.2g AMS font definitions ) [1 ] (./preface.tex) [1 ] [2] (./mod-thy-main.toc [3 ]) \tf@toc=\write4 \openout4 = `mod-thy-main.toc'. [4] (./intro.tex Chapter 1. LaTeX Font Info: Try loading font information for OMS+cmtt on input line 2. LaTeX Font Info: No file OMScmtt.fd. on input line 2. LaTeX Font Warning: Font shape `OMS/cmtt/m/n' undefined (Font) using `OMS/cmsy/m/n' instead (Font) for symbol `textbraceleft' on input line 2. [1 ] LaTeX Font Info: Try loading font information for U+eus on input line 130. (/usr/TeX/texmf-dist/tex/latex/amsfonts/ueus.fd File: ueus.fd 2002/01/19 v2.2g AMS font definitions ) [2] LaTeX Font Info: Try loading font information for U+euf on input line 152. (/usr/TeX/texmf-dist/tex/latex/amsfonts/ueuf.fd File: ueuf.fd 2002/01/19 v2.2g AMS font definitions ) LaTeX Font Info: Try loading font information for OMS+cmr on input line 187. (/usr/TeX/texmf-dist/tex/latex/base/omscmr.fd File: omscmr.fd 1999/05/25 v2.5h Standard LaTeX font definitions ) LaTeX Font Info: Font shape `OMS/cmr/m/n' in size <10> not available (Font) Font shape `OMS/cmsy/m/n' tried instead on input line 187. [3] [4] [5] [6] [7] [8] [9]) (./prop.tex [10] Chapter 2. [11 ] LaTeX Font Info: Font shape `OMS/cmr/m/n' in size <8> not available (Font) Font shape `OMS/cmsy/m/n' tried instead on input line 89. [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [32] [33]) (./first-order.tex [34] Chapter 3. [35 ] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46]) (./qe.tex [47] Chapter 4. [48 ] [49] [50] [51]) (./elementary.tex [52] Chapter 5. [53 ] [54] [55] [56] Overfull \hbox (9.72223pt too wide) in paragraph at lines 386--388 \OT1/cmr/bx/n/10 Example 5.4.1. \OT1/cmr/m/n/10 We shall prove later, in The-o- rem 8.1.1[], that $[][]$ is $\OML/cmm/m/it/10 !$\OT1/cmr/m/n/10 -categorical.| [] [57] [58]) (./compactness.tex [59] Chapter 6. [60 ] [61] [62] [63] [64] [65]) (./completeness.tex [66] Chapter 7. [67 ] [68] [69] [70] [71] [72] [73] [74] [75] [76] [77]) (./types.tex [78] Chapter 8. [79 ] [80] [81] [82] [83] [84] [85] [86] [87]) (./mod-thy-main.bbl [88] [89 ]) [90] (./mod-thy-main.aux) LaTeX Font Warning: Some font shapes were not available, defaults substituted. ) Here is how much of TeX's memory you used: 4926 strings out of 94711 56249 string characters out of 1178764 150658 words of memory out of 1591501 7955 multiletter control sequences out of 10000+50000 23399 words of font info for 89 fonts, out of 1000000 for 2000 397 hyphenation exceptions out of 1000 29i,19n,33p,309b,449s stack positions out of 5000i,500n,6000p,200000b,40000s 0 PDF objects out of 300000 0 named destinations out of 131072 1 words of extra memory for PDF output out of 65536 Output written on mod-thy-main.dvi (95 pages, 327148 bytes).