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>

13: \providecommand{\bysame}{\leavevmode\hbox to3em{\hrulefill}\thinspace}

14: \providecommand{\MR}{\relax\ifhmode\unskip\space\fi MR }

15: % \MRhref is called by the amsart/book/proc definition of \MR.

16: \providecommand{\MRhref}[2]{%

17:   \href{http://www.ams.org/mathscinet-getitem?mr=#1}{#2}

18: }

19: \providecommand{\href}[2]{#2}

20: \begin{thebibliography}{IHJS88}

21: 

22: \bibitem[BJ95]{tomekbook}

23: Tomek Bartoszynski and Haim Judah, \emph{Set theory: On the structure of the

24:   real line}, A K Peters, Wellesley, MA, 1995.

25: 

26: \bibitem[Gol93]{tools}

27: Martin Goldstern, \emph{{Tools for Your Forcing Construction}}, Set Theory of

28:   The Reals (Haim Judah, ed.), Israel Mathematical Conference Proceedings,

29:   vol.~6, American Mathematical Society, 1993, pp.~305--360.

30: 

31: \bibitem[IHJS88]{JdSh:292}

32: Jaime Ihoda (Haim~Judah) and Saharon Shelah, \emph{{Souslin forcing}}, {The

33:   Journal of Symbolic Logic} \textbf{53} (1988), 1188--1207.

34: 

35: \bibitem[Kan94]{Kanamori}

36: Akihiro Kanamori, \emph{{The higher infinite}}, {Perspectives in Mathematical

37:   Logic}, {Springer}, 1994.

38: 

39: \bibitem[Kel]{preservinglittle}

40: Jakob Kellner, \emph{Preserving non--null with suslin$^+$ forcings}, preprint,

41:   see {\texttt http://arxiv.org/abs/math.LO/0211385}.

42: 

43: \bibitem[She98]{Sh:f}

44: Saharon Shelah, \emph{{Proper and improper forcing}}, {Perspectives in

45:   Mathematical Logic}, {Springer}, 1998.

46: 

47: \bibitem[She04]{Sh:630}

48: \bysame, \emph{{Properness Without Elementaricity}}, {Journal of Applied

49:   Analysis} \textbf{10} (2004), math.LO/9712283.

50: 

51: \end{thebibliography}

52: