This is pdfeTeX, Version 3.141592-1.21a-2.2 (Web2C 7.5.4) (format=latex 2009.4.25) 14 AUG 2014 19:38 entering extended mode **all (./all.tex LaTeX2e <2003/12/01> Babel and hyphenation patterns for american, french, german, ngerman, b ahasa, basque, bulgarian, catalan, croatian, czech, danish, dutch, esperanto, e stonian, finnish, greek, icelandic, irish, italian, latin, magyar, norsk, polis h, portuges, romanian, russian, serbian, slovak, slovene, spanish, swedish, tur kish, ukrainian, nohyphenation, loaded. (./body.tex \@indexfile=\write3 \openout3 = `all.idx'. Writing index file all.idx (/Users/cp/svn/hilbertbernays/trunk/headerhot.tex \disp=\skip41 \textwidthminustwomm=\skip42 \textwidthminushalfcm=\skip43 \textwidthminusonecm=\skip44 \textwidthminustwocm=\skip45 \textwidthminusfourcm=\skip46 \textwidthminussixcm=\skip47 \yinibox=\box26 ) (/Users/cp/svn/hilbertbernays/trunk/headerforformulas.tex) (/Users/cp/svn/hilbertbernays/trunk/headersugarterms.tex) (/Users/cp/svn/hilbertbernays/trunk/quotation.tex) (/Users/cp/WWW/SEKI/forauthors/seki-deckblatt-5.tex CP's seki-deckblatt-5.tex, Version 3.15, 2013/08/19 --- To be used for SEKIs since 2011 --- (/Users/cp/svn/hilbertbernays/trunk/article.cls Document Class: article 1999/01/07 v1.4a Standard LaTeX document class (/Users/cp/svn/hilbertbernays/trunk/size12.clo File: size12.clo 2000/05/19 v1.4b Standard LaTeX file (size option) ) \c@part=\count79 \c@section=\count80 \c@subsection=\count81 \c@subsubsection=\count82 \c@paragraph=\count83 \c@subparagraph=\count84 \c@figure=\count85 \c@table=\count86 \abovecaptionskip=\skip48 \belowcaptionskip=\skip49 \bibindent=\dimen102 ) (/Users/cp/svn/hilbertbernays/trunk/named.sty) (/Users/cp/svn/hilbertbernays/trunk/makeidx.sty Package: makeidx 2000/03/29 v1.0m Standard LaTeX package ) (/Users/cp/svn/hilbertbernays/trunk/url.sty \Urlmuskip=\muskip10 Package: url 2005/06/27 ver 3.2 Verb mode for urls, etc. ) (/Users/cp/svn/hilbertbernays/trunk/amssymb.sty Package: amssymb 2002/01/22 v2.2d (/Users/cp/svn/hilbertbernays/trunk/amsfonts.sty Package: amsfonts 2001/10/25 v2.2f \@emptytoks=\toks14 \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. )) (/sw/share/texmf-dist/tex/latex/pstricks/pstricks.sty Package: pstricks 2004/05/12 v0.2l LaTeX wrapper for `PSTricks' (RN,HV) (/sw/share/texmf-dist/tex/generic/pstricks/pstricks.tex `PSTricks' v1.04 <2004/06/22> (tvz) \pst@dima=\dimen103 \pst@dimb=\dimen104 \pst@dimc=\dimen105 \pst@dimd=\dimen106 \pst@dimg=\dimen107 \pst@dimh=\dimen108 \pst@hbox=\box27 \pst@boxg=\box28 \pst@cnta=\count87 \pst@cntb=\count88 \pst@cntc=\count89 \pst@cntd=\count90 \pst@cntg=\count91 \pst@cnth=\count92 \pst@toks=\toks15 (/sw/share/texmf-dist/tex/generic/pstricks/pstricks.con) \psunit=\dimen109 \psxunit=\dimen110 \psyunit=\dimen111 \pslinewidth=\dimen112 \pst@customdefs=\toks16 \pslinearc=\dimen113 \everypsbox=\toks17 \psframesep=\dimen114 \pslabelsep=\dimen115 \theoverlaybox=\box29 ) File: pstricks.tex 2004/06/22 v1.04 `PSTricks' (tvz) (/sw/share/texmf-dist/tex/latex/xcolor/xcolor.sty Package: xcolor 2004/07/04 v2.00 LaTeX color extensions (UK) (/Users/cp/svn/hilbertbernays/trunk/color.cfg File: color.cfg 2004/11/03 v1.1BS1 color configuration of teTeX/TeXLive, change s by Bernd Strieder ) Package xcolor Info: Package option `override' ignored on input line 128. Package xcolor Info: Driver file: dvips.def on input line 136. (/Users/cp/svn/hilbertbernays/trunk/dvips.def File: dvips.def 1999/02/16 v3.0i Driver-dependant file (DPC,SPQR) ) Package xcolor Info: Color model `cmy' added on input line 972. Package xcolor Info: Color model `HTML' added on input line 1000. Package xcolor Info: Color model `HSB' added on input line 1006. Package xcolor Info: Color model `Gray' added on input line 1012. )) (/Users/cp/svn/hilbertbernays/trunk/graphicx.sty Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR) (/Users/cp/svn/hilbertbernays/trunk/keyval.sty Package: keyval 1999/03/16 v1.13 key=value parser (DPC) \KV@toks@=\toks18 ) (/Users/cp/svn/hilbertbernays/trunk/graphics.sty Package: graphics 2001/07/07 v1.0n Standard LaTeX Graphics (DPC,SPQR) (/Users/cp/svn/hilbertbernays/trunk/trig.sty Package: trig 1999/03/16 v1.09 sin cos tan (DPC) ) (/Users/cp/svn/hilbertbernays/trunk/graphics.cfg File: graphics.cfg 2005/02/03 v1.3 graphics configuration of teTeX/TeXLive ) Package graphics Info: Driver file: dvips.def on input line 80. ) \Gin@req@height=\dimen116 \Gin@req@width=\dimen117 ) (/Users/cp/svn/hilbertbernays/trunk/fontenc.sty Package: fontenc 2004/02/22 v1.99f Standard LaTeX package (/Users/cp/svn/hilbertbernays/trunk/t1enc.def File: t1enc.def 2004/02/22 v1.99f Standard LaTeX file LaTeX Font Info: Redeclaring font encoding T1 on input line 43. )) (/Users/cp/svn/hilbertbernays/trunk/headernames.tex (/Users/cp/svn/hilbertbernays/trunk/fontenc.sty Package: fontenc 2004/02/22 v1.99f Standard LaTeX package (/Users/cp/svn/hilbertbernays/trunk/t1enc.def File: t1enc.def 2004/02/22 v1.99f Standard LaTeX file LaTeX Font Info: Redeclaring font encoding T1 on input line 43. )) (/Users/cp/svn/hilbertbernays/trunk/specialfonts.tex) (/Users/cp/svn/hilbertbernays/trunk/headernamesrest.tex)) (./macros.sty) (/Users/cp/Library/TeX/texmf/tex/latex/latexlib/rotating.sty Package: rotating 1997/09/26 v2.13 Rotation package (/Users/cp/Library/TeX/texmf/tex/latex/latexlib/ifthen.sty Package: ifthen 2001/05/26 v1.1c Standard LaTeX ifthen package (DPC) ) \c@r@tfl@t=\count93 \rot@float@box=\box30 ) \c@theorem=\count94 ) (./all.aux) \openout1 = `all.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 54. LaTeX Font Info: ... okay on input line 54. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 54. LaTeX Font Info: ... okay on input line 54. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 54. LaTeX Font Info: ... okay on input line 54. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 54. LaTeX Font Info: ... okay on input line 54. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 54. LaTeX Font Info: ... okay on input line 54. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 54. LaTeX Font Info: ... okay on input line 54. File: dfki.eps Graphic file (type eps) File: ju.eps Graphic file (type eps) File: uds.eps Graphic file (type eps) File: seki-robbi.eps Graphic file (type eps) File: leibniz.eps Graphic file (type eps) LaTeX Font Info: Try loading font information for U+msa on input line 55. (/Users/cp/svn/hilbertbernays/trunk/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 55. (/Users/cp/svn/hilbertbernays/trunk/umsb.fd File: umsb.fd 2002/01/19 v2.2g AMS font definitions ) LaTeX Font Info: Try loading font information for T1+cmss on input line 55. (/Users/cp/svn/hilbertbernays/trunk/t1cmss.fd File: t1cmss.fd 1999/05/25 v2.5h Standard LaTeX font definitions ) LaTeX Font Info: Try loading font information for T1+cmtt on input line 55. (/Users/cp/svn/hilbertbernays/trunk/t1cmtt.fd File: t1cmtt.fd 1999/05/25 v2.5h Standard LaTeX font definitions ) Underfull \vbox (badness 10000) has occurred while \output is active [] [-99 ] Underfull \hbox (badness 10000) in paragraph at lines 55--55 [] Underfull \hbox (badness 10000) in paragraph at lines 55--55 [] Underfull \hbox (badness 10000) in paragraph at lines 55--55 [] Underfull \hbox (badness 10000) in paragraph at lines 55--55 [] Underfull \hbox (badness 10000) in paragraph at lines 55--55 [] Underfull \hbox (badness 10000) in paragraph at lines 55--55 [] Underfull \hbox (badness 10000) in paragraph at lines 55--55 [] Underfull \hbox (badness 10000) in paragraph at lines 55--55 [] Underfull \hbox (badness 10000) in paragraph at lines 55--55 [] [-98] Overfull \hbox (11.39583pt too wide) in paragraph at lines 80--80 \T1/cmr/m/it/10.95 Keywords\T1/cmr/m/n/10.95 : []\T1/cmr/m/sc/10.95 Jacques Her -brand\T1/cmr/m/n/10.95 , His-tory of Logic, []\T1/cmr/m/sc/10.95 Her-brand\T1/ cmr/m/n/10.95 's Fun-da-men-tal Theorem, [] [1 ] (./all.toc) \tf@toc=\write4 \openout4 = `all.toc'. [2] [3 ] [4] [5] Overfull \hbox (4.47882pt too wide) in paragraph at lines 467--468 [][] [] [6] [7] File: KnowingUfoVisitors.eps.gz Graphic file (type eps) [8] Underfull \vbox (badness 10000) has occurred while \output is active [] [9] Underfull \vbox (badness 10000) has occurred while \output is active [] [10] [11] Underfull \vbox (badness 1163) has occurred while \output is active [] [12] [13] [14] Underfull \vbox (badness 5607) has occurred while \output is active [] [15] Underfull \vbox (badness 10000) has occurred while \output is active [] [16] [17] [18] [19] [20] [21] [22] [23] [24] LaTeX Font Info: Try loading font information for OMS+cmr on input line 2442 . (/Users/cp/svn/hilbertbernays/trunk/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 <12> not available (Font) Font shape `OMS/cmsy/m/n' tried instead on input line 2442. [25] Underfull \vbox (badness 2717) has occurred while \output is active [] [26] [27] [28] [29] Underfull \vbox (badness 4556) has occurred while \output is active [] [30] [31] Underfull \vbox (badness 1067) has occurred while \output is active [] [32] [33] [34] File: LoewenheimSkolemHerbrand-FinalBridge.eps.gz Graphic file (type eps) Underfull \vbox (badness 7451) has occurred while \output is active [] [35] [36] [37] Underfull \vbox (badness 10000) has occurred while \output is active [] [38] Underfull \vbox (badness 10000) has occurred while \output is active [] [39] [40] Underfull \vbox (badness 4927) has occurred while \output is active [] [41] Underfull \vbox (badness 2221) has occurred while \output is active [] [42] [43] [44] [45] [46] Underfull \vbox (badness 3250) has occurred while \output is active [] [47 ] [48] Underfull \vbox (badness 2409) has occurred while \output is active [] [49] [50] [51] [52] [53] [54] [55] [56] [57] File: HerbrandPhotoI.eps.gz Graphic file (type eps) [58] (./herbrandbibliography.tex [59] [60] [61]) [62] (./references.tex [63] [64] [65] [66] [67] [68] [69] [70] [71] [72] [73] Underfull \hbox (badness 1325) in paragraph at lines 1458--1472 \T1/cmr/m/it/10 Videnskaps-Akademi i Oslo (= Vi-den-skaps-sel-skapet i Kris-tia -nia), Matema-tisk-Natur-viden-skapelig [] Underfull \hbox (badness 1325) in paragraph at lines 1519--1524 \T1/cmr/m/it/10 Videnskaps-Akademi i Oslo (= Vi-den-skaps-sel-skapet i Kris-tia -nia), Matema-tisk-Natur-viden-skapelig [] [74] [75]) [76] (./all.ind Overfull \hbox (13.64307pt too wide) in paragraph at lines 14--16 []\T1/cmr/m/n/10.95 anti-prenex, \T1/cmr/m/it/10.95 see \T1/cmr/m/n/10.95 direc -tion, anti-prenex \T1/cmr/m/it/10.95 and \T1/cmr/m/n/10.95 form, [] Underfull \hbox (badness 10000) in paragraph at lines 62--64 []| \T1/cmr/m/n/10.95 Herbrand-style, \T1/cmr/m/it/10.95 see \T1/cmr/m/n/10.95 Herbrand-style [] [77 ] [78] Underfull \hbox (badness 1565) in paragraph at lines 276--277 []\T1/cmr/m/n/10.95 prenex, \T1/cmr/m/it/10.95 see \T1/cmr/m/n/10.95 direc-tion , prenex \T1/cmr/m/it/10.95 and \T1/cmr/m/n/10.95 form, [] [79] Underfull \hbox (badness 6380) in paragraph at lines 337--339 \T1/cmr/m/n/10.95 form, Skolem-ized \T1/cmr/m/it/10.95 and \T1/cmr/m/n/10.95 fu nc-tion, [] Underfull \hbox (badness 10000) in paragraph at lines 337--339 \T1/cmr/m/n/10.95 Skolem \T1/cmr/m/it/10.95 and \T1/cmr/m/n/10.95 Löwenheim--Sk olem [] [80]) File: HerbrandPhotoIII.eps.gz Graphic file (type eps) File: HerbrandPhotoII.eps.gz Graphic file (type eps) [81] [82] (./all.aux) ) ) Here is how much of TeX's memory you used: 8198 strings out of 94501 97687 string characters out of 1176137 212297 words of memory out of 1500000 10628 multiletter control sequences out of 10000+50000 52723 words of font info for 141 fonts, out of 1200000 for 2000 1205 hyphenation exceptions out of 8191 32i,23n,40p,418b,449s stack positions out of 5000i,500n,6000p,200000b,5000s Output written on all.dvi (84 pages, 397168 bytes).