1: \def\germ{\frak} \def\scr{\cal} \ifx\documentclass\undefinedcs

2:   \def\bf{\fam\bffam\tenbf}\def\rm{\fam0\tenrm}\fi % f**k-amstex!

3:   \def\defaultdefine#1#2{\expandafter\ifx\csname#1\endcsname\relax

4:   \expandafter\def\csname#1\endcsname{#2}\fi} \defaultdefine{Bbb}{\bf}

5:   \defaultdefine{frak}{\bf} \defaultdefine{mathfrak}{\frak}

6:   \defaultdefine{mathbb}{\bf} \defaultdefine{mathcal}{\cal}

7:   \defaultdefine{beth}{BETH}\defaultdefine{cal}{\bf} \def\bbfI{{\Bbb I}}

8:   \def\mbox{\hbox} \def\text{\hbox} \def\om{\omega} \def\Cal#1{{\bf #1}}

9:   \def\pcf{pcf} \defaultdefine{cf}{cf} \defaultdefine{reals}{{\Bbb R}}

10:   \defaultdefine{real}{{\Bbb R}} \def\restriction{{|}} \def\club{CLUB}

11:   \def\w{\omega} \def\exist{\exists} \def\se{{\germ se}} \def\bb{{\bf b}}

12:   \def\equivalence{\equiv} \let\lt< \let\gt> \def\implies{\Rightarrow}

13: \begin{thebibliography}{Sh 630}

14: \makeatletter \renewcommand{\@biblabel}[1]{[#1]} \makeatother

15: \def\eprintfootnotetext{References of the form {\tt math.XX/$\cdots$}

16:  refer to the {\tt xxx.lanl.gov} archive}

17: \ifx\documentstyle\undefinedcontrolsequence

18:    \def\anyfootnote{\footnote{*}}

19:    \else\def\anyfootnote{\footnote}\fi

20: \def\eprintfn{\ifEprint\anyfootnote{\eprintfootnotetext}\fi\Eprintfalse }

21: \newif\ifEprint  \Eprinttrue

22: 

23: \bibitem[Sh:e]{Sh:e}Saharon Shelah.

24: \newblock {\em {Non--structure theory}}, accepted.

25: \newblock {Oxford University Press}.

26: 

27: \bibitem[Sh 630]{Sh:630}Saharon Shelah.

28: \newblock {Non-elementary proper forcing notions}.

29: \newblock {\em {Journal of Applied Analysis}}, {\bf accepted}.

30: \newblock math.LO/9712283.

31: 

32: \bibitem[Sh:b]{Sh:b}Saharon Shelah.

33: \newblock {\em {Proper forcing}}, volume 940 of {\em {Lecture Notes in

34:   Mathematics}}.

35: \newblock {Springer-Verlag, Berlin-New York, xxix+496 pp}, 1982.

36: 

37: \bibitem[Sh:f]{Sh:f}Saharon Shelah.

38: \newblock {\em {Proper and improper forcing}}.

39: \newblock {Perspectives in Mathematical Logic}. {Springer}, 1998.

40: 

41: \end{thebibliography}

42: