PTITeX 3.4, (c) Personal TeX, Inc. 1985-1998 This is TeX 3.14159 (preloaded format=AMSPLAIN 0.11.30) 19 APR 2001 12:31 **&AMSPLAIN C:/FPhandbook/ultrapowers-etc.TEX (C:\FPhandbook\ultrapowers-etc.TEX AmS-TeX- Version 2.1 COPYRIGHT 1985, 1990, 1991 - AMERICAN MATHEMATICAL SOCIETY Use of this macro package is not restricted provided each use is acknowledged upon publication. (C:\PCTeXv4\AMSTEX\amsppt.sty AMSPPT.STY - Version 2.1 Loading utility definitions, more fonts, symbol names (C:\PCTeXv4\AMSTEX\amssym.tex) , page dimension settings, top matter, section heads, theorems/proofs/definitions/remarks, rosters, footnotes, figures and captions, miscellaneous, references, end of document, output routine, hyphenation exceptions (U.S. English) ) Overfull \hbox (0.74069pt too wide) in paragraph at lines 65--66 []\tenrm SHOULD HAVE IN-CLUDED A PROOF OF THIS LAST STATE-MENT SOME- \hbox(6.83331+0.0)x360.0, glue set - 1.0 .\hbox(0.0+0.0)x12.0 .\tenrm S .\tenrm H .\tenrm O .\tenrm U .etc. [1] Overfull \hbox (10.1665pt too wide) detected at line 136 \tenrm [[M]] \hbox(7.5+2.5)x15.11133 .\tenrm [ .\tenrm [ .\tenrm M .\tenrm ] .\tenrm ] .etc. [2] ) Output written on C:\FPhandbook\ultrapowers-etc.dvi (2 pages, 7228 bytes).