% LaTex 2.09
\documentstyle[12pt]{article}
%\def\ref{\par\bigskip}
\newcount\refno  \refno=1
\def\ref{\par\bigskip\noindent
{\kern -.3in \parbox{.3in}{\the\refno.}}\advance\refno by 1}
\def\goth{\bf}

\begin{document}

\begin{center}
  Some references\\
  A.Miller\\
  Oct 98
\end{center}

\ref U.Abraham, A minimal model for $\neg$CH: iteration
of Jensen's reals, Transactions of the American Mathematical Society,
281(1984), 657-674. [A refinement of iterated perfect set forcing]

\ref S.Baldwin, R.Beaudoin,
Countable dense homogeneous spaces under Martin's axiom,
Israel J. Math. 65(1989), 153-164.
[MA$_{\omega_1}$ implies any two $\omega_1$-dense subsets of the
Cantor set are homeomorphic.]


\ref J.Baumgartner, Iterated forcing, in {\bf Surveys in Set Theory},
edited by ARD Mathias, London
Mathematical Society Lecture Note Series, 87(1983), 1-59.
[Countable support iteration of Axiom A forcings]

\ref J.Baumgartner, Applications of the proper forcing axiom,
Collection: Handbook of set-theoretic topology, 913-959 North-Holland, 1984.
[Any two $\omega_1$-dense sets of reals are order isomorphic.]

\ref J.Baumgartner,
Sacks forcing and the total failure of Martin's axiom,
Topology and its Applications, 19 (1985), 211-225.
[Side by side  perfect set forcing]


\ref J.Baumgartner and R.Laver,
Iterated perfect set forcing, Annals of Mathematical Logic, 17(1979),
271-288. [Splitting property of Sacks forcing]

\ref L.Bukowsky, Random forcing, in {\bf Set Theory and Hierarchy Theory V},
Lecture Notes in Mathematics, Springer-Verlag, 619(1976), 101-118.
[Product of random reals gives a Cohen real.]

\ref J.Burgess, {\it Forcing}, in {\bf Handbook of Mathematical Logic},
North-Holland (1977), 403-452. [Consistency of MA]

\ref D.H.Fremlin, S.Shelah, On partitions of the real line,
Israel Journal of Mathematics, 32(1979),  299-304.
[cov(meager)$>\omega_1$ implies the real line cannot be partitioned
into $\omega_1$ disjoint $\Pi^0_2$ sets.]

\ref C.Gray, PhD thesis, University of California, Berkeley, (1980).
[Laver forcing gives minimal degrees.]

\ref S.Griegorieff, Combinatorics on ideals and forcing, Annals of
Mathematical Logic, 3(1971), 363-394.  [Silver forcing]

\ref M.Groszek, T.Slaman, Independence results on the global structure
of the Turing degrees, Transactions the American Mathematical Society,
277(1983), 579-588. [Side by side  perfect set forcing]

\ref M.Groszek, T.Slaman, A basis theorem for perfect sets, Bulletin
of Symbolic Logic, 4(1998), 204-209.
[There can't be a nonconstructible perfect set of constructible
reals.]

\ref H.Judah, S.Shelah, H.Woodin, {\it The Borel conjecture},
Annals of Pure and Applied Logic, 50(1990), 255-269.
[Borel conjecture still true after adding random reals to Laver's model.]

\ref J.Ketonen,
{\it On the existence of $P$-points in the Stone-Cech compactification
of integers}, Fund. Math., 92(1976), 91-94. [Every small filter base
extends to a P-point iff {\goth d}={\goth c}.]

\ref K.Kunen, F.Tall, Between Martin's axiom and Souslin's
hypothesis, Fund. Math., 102(1979), 173-181. [Consistency of
MA(prop K)+ notMA.]

\ref R.Laver, On the consistency of Borel's conjecture, Acta.
Math., 137 (1976), 151-169. [Laver forcing]

\ref J.Oxtoby, {\bf Measure and category}, Springer-Verlag, 1971.
[Basic primer for Lebesgue measure and Baire category on the real line.]

\ref G.Sacks, Forcing with perfect closed sets, Axiomatic
Set Theory, ed by D.Scott, Proc. Sympos. Pure Math. Amer. Math. Soc.,
13(1971), 331-355. [Perfect set forcing]

\ref R.Solovay,
A model of set-theory in which every set of reals is Lebesgue
measurable, Annals of Mathematics, 92(1970), 1-56.
[Random real forcing]

\ref Steprans, Juris,
Cardinal arithmetic and $\aleph_1$-Borel sets,
Proc. Amer. Math. Soc., 84 (1982),  121-126.
[ccc-finite support iteration of length $\omega_1$]

\ref
J.Vaughan, {\it Small uncountable cardinals and topology}, in
{\bf Open Problems in Topology}, ed by J.van Mill, G.M.Reed, North-Holland,
1990, 196-218. [Open problem: Does ${\goth r}={\goth r}_\sigma$?]

\end{document}





