PTITeX 3.4, (c) Personal TeX, Inc. 1985-1998
This is TeX 3.14159 (preloaded format=LATEX 0.11.30)  26 FEB 2001 15:52
**&LATEX C:/FPhandbook/ultrapowers-etc-2.TEX
(C:\FPhandbook\ultrapowers-etc-2.TEX
LaTeX2e <1998/12/01>
Babel <v3.6o> and hyphenation patterns for american, loaded.
(C:\PCTeXv4\AMSLTX12\amsart.cls
Document Class: amsart 1995/02/23 v1.2b
\linespacing=\dimen102
\normalparindent=\dimen103
\normaltopskip=\skip41
(C:\PCTeXv4\AMSLTX12\amsgen.sty
File: amsgen.sty 1995/02/01 v1.2a
\@emptytoks=\toks14
\ex@=\dimen104
) (C:\PCTeXv4\AMSLTX12\amsmath.sty
Package: amsmath 1995/02/23 v1.2b AMS math features
\@mathmargin=\skip42

(C:\PCTeXv4\AMSLTX12\amstext.sty
Package: amstext 1995/01/25 v1.2
) (C:\PCTeXv4\AMSLTX12\amsbsy.sty
Package: amsbsy 1995/01/20 v1.2
\pmbraise@=\dimen105
)
(C:\PCTeXv4\AMSLTX12\amsopn.sty
Package: amsopn 1995/02/20 v1.2a operator names
)
LaTeX Info: Redefining \frac on input line 180.
\uproot@=\count79
\leftroot@=\count80
\classnum@=\count81
\DOTSCASE@=\count82
LaTeX Info: Redefining \dots on input line 327.
LaTeX Info: Redefining \ldots on input line 410.
LaTeX Info: Redefining \cdots on input line 414.
\Mathstrutbox@=\box26
\strutbox@=\box27
\big@size=\dimen106
LaTeX Font Info:    Redeclaring font encoding OML on input line 492.
LaTeX Font Info:    Redeclaring font encoding OMS on input line 493.
\skewcharcount@=\count83
\familycount@=\count84
\pointcount@=\count85
\accentdimen@=\dimen107
\accentmu@=\count86
\minaw@=\dimen108
\c@MaxMatrixCols=\count87
\dotsspace@=\muskip10
\c@parentequation=\count88
\dspbrk@lvl=\count89
\tag@help=\toks15
\row@=\count90
\column@=\count91
\maxfields@=\count92
\andhelp@=\toks16
\eqnshift@=\dimen109
\alignsep@=\dimen110
\tagshift@=\dimen111
\tagwidth@=\dimen112
\totwidth@=\dimen113
\lineht@=\dimen114
\@envbody=\toks17
\multlinegap=\skip43
\multlinetaggap=\skip44
) (C:\PCTeXv4\AMSLTX12\amsfonts.sty
Package: amsfonts 1995/02/01 v2.2b
\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 128.
)
\copyins=\insert233
\abstractbox=\box28
\listisep=\skip45
\c@part=\count93
\c@section=\count94
\c@subsection=\count95
\c@subsubsection=\count96
\c@paragraph=\count97
\c@figure=\count98
\c@table=\count99
\abovecaptionskip=\skip46
\belowcaptionskip=\skip47

(C:\PCTeXv4\AMSLTX12\amsthm.sty
Package: amsthm 1995/02/01 v1.2a
\theorem@style=\toks18
\theorembodyfont=\toks19
\theoremheadfont=\toks20
\theoremnotefont=\toks21
\theoremheadpunct=\toks22
\theorempreskipamount=\skip48
\theorempostskipamount=\skip49
)) (C:\PCTeXv4\AMSLTX12\amssymb.sty
Package: amssymb 1995/02/01 v2.2a
)
(C:\PCTeXv4\LATEX2E\newlfont.sty
Package: newlfont 1998/08/17 v2.2m Standard LaTeX package
LaTeX Info: Redefining \em on input line 49.
 (C:\PCTeXv4\LATEX2E\latexsym.sty
Package: latexsym 1998/08/17 v2.2e Standard LaTeX package (lasy symbols)
\symlasy=\mathgroup6
LaTeX Font Info:    Overwriting symbol font `lasy' in version `bold'
(Font)                  U/lasy/m/n --> U/lasy/b/n on input line 29.
))
(C:\PCTeXv4\LATEX2E\graphicx.sty
Package: graphicx 1997/06/09 v1.0d Enhanced LaTeX Graphics (DPC,SPQR)
 (C:\PCTeXv4\LATEX2E\keyval.sty
Package: keyval 1998/06/05 v1.11 key=value parser (DPC)
\KV@toks@=\toks23
)
(C:\PCTeXv4\LATEX2E\graphics.sty
Package: graphics 1998/05/27 v1.0h Standard LaTeX Graphics (DPC,SPQR)
 (C:\PCTeXv4\LATEX2E\trig.sty
Package: trig 1994/10/16 v1.08 sin cos tan (DPC)
)
(C:\PCTeXv4\LATEX2E\graphics.cfg)
Package graphics Info: Driver file: dvips.def on input line 85.
 (C:\PCTeXv4\LATEX2E\dvips.def
File: dvips.def 1998/05/03 v3.0f Driver-dependant file (DPC,SPQR)
))
\Gin@req@height=\dimen115
\Gin@req@width=\dimen116
)
\c@theorem=\count100
\@indexfile=\write3

Writing index file ultrapowers-etc-2.idx

LaTeX Warning: Unused global option(s):
    [showkey].

No file ultrapowers-etc-2.aux.
LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 58.
LaTeX Font Info:    ... okay on input line 58.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 58.
LaTeX Font Info:    ... okay on input line 58.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 58.
LaTeX Font Info:    ... okay on input line 58.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 58.
LaTeX Font Info:    ... okay on input line 58.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 58.
LaTeX Font Info:    ... okay on input line 58.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 58.
LaTeX Font Info:    ... okay on input line 58.
LaTeX Font Info:    Try loading font information for U+msa on input line 58.
(C:\PCTeXv4\AMSLTX12\umsa.fd
File: Umsa.fd 1995/01/05 v2.2e AMS font definitions
)
LaTeX Font Info:    Try loading font information for U+msb on input line 58.
 (C:\PCTeXv4\AMSLTX12\umsb.fd
File: Umsb.fd 1995/01/05 v2.2e AMS font definitions
)
LaTeX Font Info:    Try loading font information for U+lasy on input line 58.

(C:\PCTeXv4\LATEX2E\ulasy.fd
File: ulasy.fd 1998/08/17 v2.2eLaTeX symbol font definitions
)
No file ultrapowers-etc-2.toc.
\tf@toc=\write4
[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14]
(C:/FPhandbook/ultrapowers-etc-2.aux)

LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right.

 ) 
Here is how much of TeX's memory you used:
 1797 strings out of 1873
 18409 string characters out of 28518
 93885 words of memory out of 81920
 4488 multiletter control sequences out of 10000
 10635 words of font info for 44 fonts, out of 20000 for 255
 176 hyphenation exceptions out of 607
 34i,7n,31p,834b,331s stack positions out of 200i,40n,60p,5000b,600s

Output written on C:\FPhandbook\ultrapowers-etc-2.dvi (14 pages, 68996 bytes).