The Bulletin of Symbolic Logic

Volume 1, 1995

  • The Bulletin of Symbolic Logic, by Richard A. Shore, Managing Editor, pages 1 - 3.
  • Guidelines for logic education, by The ASL Committee on Logic and Education, pages 4 - 8.

    • Articles

  • The mathematical work of S. C. Kleene, by J. R. Shoenfield, pages 9 - 43.
  • Platonism and mathematical intuition in Kurt Gödel's thought, by Charles D. Parsons, pages 44 - 74.
  • Herman Weyl's intuitionistic mathematics, by Dirk van Dalen, pages 145 - 169.
  • Measures: back and forth between point sets and large sets, by Noa Goldring, pages 170 - 188.
  • American logic in the 1920s, by Martin Davis, pages 273 - 278.
  • How to compute antiderivatives, by Chris Freiling, pages 279 - 316.
  • Inner models and large cardinals, by Ronald Jensen, pages 393 - 407.
  • Singular cardinals and the PCF theory, by Thomas Jech, pages 408 - 424.
  • The complexity of propositional proofs, by Alasdair Urquhart, pages 425 - 467.

    • Communications

  • HOD^L(R) is a core model below \Theta, by John R. Steel, pages 75 - 84.
  • A general framework for priority arguments, by Steffen Lempp and Manuel Lerman, pages 189 - 201.
  • Frege's theorem and the Peano postulates, by George Boolos, pages 317 - 326.
  • Optimal proofs of determinacy, by Itay Neeman, pages 327 - 339.
  • Recent advances in ordinal analysis: \Pi^1_2 -- CA and related systems, by Michael Rathjen, pages 468 - 485.

    • Obituaries

  • In memoriam: Christopher John Ash, by Julia Knight, page 202.
  • In memoriam: Alonzo Church, 1903 - 1995, by H. B. Enderton, pages 486 - 488.
  • In memoriam: Raphael Mitchel Robinson, by Leon Henkin, pages 340 - 343.

    • Meetings of the Association

  • European ASL Summer Meeting, Keele University, 1993, pages 85 - 115.
  • Annual ASL Meeting, University of Florida, Gainesville, 1994, pages 116 - 141.
  • European ASL Summer Meeting, Clermond-Ferrand, 1994, pages 203 - 268.
  • ASL Spring Meeting, Kansas City, MI, May 6-7, 1994, pages 344 - 349.
  • ASL Winter Meeting, San Francisco, CA, January 6-7, 1995, pages 359 - 376.
  • ASL Annual Meeting, Irvine, CA, March 30 - April 2, 1995, pages 377 - 389.
  • European ASL Summer Meeting, Keele University, 1993, addition, pages 489 - 490.

    • Meetings sponsored by the Association

  • Third Souslin Conference, July 21-27, 1994, page 350.
  • Meeting of the Australasian Association for Logic, August 26-29, 1994, pages 351 - 358.

    • Notices

  • Notices (No. 1), pages 142 - 144.
  • Notices (No. 2), pages 269 - 272.
  • Notices (No. 3), pages 390 - 392.
  • Notices (No. 4), pages 535 - 540.

    • Officers, committees and members of the Association

  • List of officers and committees of the Association for Symbolic Logic, pages 491 - 534.
  • List of members of the Association for Symbolic Logic, pages 491 - 534.