A. Miller       Fall 86     Logic Seminar


       U. Abraham and S. Shelah, "On the intersection of closed unbounded
       sets", J. Symbolic Logic 51 (1986),180-189.

       J. Baumgartner, "Generic graph construction", J. Symbolic Logic 49
       (1984),234-240.

       M. Groszek and T. Slaman, "Independence results on the global
       structure of the Turing degrees", Trans. Amer. Math. Soc. 277(1983)
       579-588.

       Y. Gurevich and L. Harrington, "Trees, automata, and games", in
       Proceedings of the Fourteenth ACM Symposium on the Theory of computing,
       edited by H.R. Lewis, Association for computing machinery, 1982, 60-65.

       Y. Gurevich, M. Magidor, and S. Shelah, "The monadic theory of omega-2",
       J. Symbolic Logic 48(1983),387-398.

       Y. Gurevich and S. Shelah, "Interpreting second-order logic in the
       monadic theory of order", J. Symbolic Logic 48(1983),816-828.

       L. Harrington, "Extensions of countable infinitary logic which
       preserve most of its nice properties", Arch. math. Logik 20
       (1980),95-102.

       L. Harrington, M. Makkai, and S. Shelah, "A proof of Vaught's
       conjecture for omega stable theories", Israel J. Math 49(1984)259-280.

       A. Litman and S. Shelah, "Models with few isomorphic expansions",
       Israel J. Math 28 (1977),331-338.

       A. Louveau, "Some results in the Wadge hierarchy of Borel sets",
       in Cabal Seminar 79-81, Lect. Notes in Math. 1019, Springer-Verlag
       (1983),28-55.

       J. van Mill and R. Pol, "The Baire category theorem in products of
       linear spaces and topological groups", Topology and Its applications
       22(1986)267-282.

       S. Shelah, "Can you take Solovay's inaccessible away?", Israel J.
       Math 48,(1984),1-47.

       S. Shelah and H. Woodin, "Forcing the failure of CH by adding a real",
       J. Symbolic Logic 49(1984),1185-1189.

       Any paper in the book: "Harvey Friedman's Research on the Foundations
       of Mathematics", edited by L. Harrington, M. Morley, A. Scedrov,
       and S. Simpson, North-Holland (1985).

       Preprints, etc.:

       A. Blass and S. Shelah, "There may be simple P-omega-one and
       P-omega-two points and the Rudin-Keisler ordering may be
       downward directed", preprint.

       L. Harrington, "Borel-Dilworth Theorem", hand-written note.


       D.A. Martin and J. Steel, "Supercompact cardinals imply AD in L[R]",
       mish-mash of notes and hand-written material.