The Bulletin of Symbolic Logic, Volume 4

The Bulletin of Symbolic Logic

Volume 4, 1998

Articles

  • An editor recalls some hopeless papers, by Wilfrid Hodges, pages 1 - 16.
  • From stability to simplicity, by Byunghan Kim and Anand Pillay, pages 17 - 36.
  • Alonzo Church's contributions to philosophy and intensional logic, by C. Anthony Anderson, pages 129 - 171.
  • Alonzo Church and the Reviews, by H. B. Enderton, pages 172 - 180.
  • Gödel's path from the incompleteness theorems (1931) to phenomenology (1961), by Richard Tieszen, pages 181 - 203.
  • Gödel's path from the incompleteness theorems (1931) to phenomenology (1961), by Richard Tieszen, pages 181 - 203.
  • Developments in constructive nonstandard analysis, by Erik Palmgren, pages 233 - 272.
  • Incompleteness, mechanism, and optimism, by Stewart Shapiro, pages 273 - 302.
  • Truth definitions, Skolem functions and axiomatic set theory, by Jaakko Hintikka, pages 303 - 337.
  • Finite variable logics in descriptive complexity theory, by Martin Grohe, pages 345 - 398.
  • Construction of truth predicates: approximation versus revision, by Juan Barba, pages 399 - 417.

    • Communications

  • Completely additive liftings, by Ilijas Farah, pages 37 - 54.
  • A basis theorem for perfect sets, by Marcia J. Groszek and Theodore A. Slaman, pages 204 - 209.
  • Cut elimination in the presence of axioms, by Sara Negri and Jan von Plato, pages 418 - 435.

    • Obituaries

  • In Memoriam: Richard (Routley) Sylvan, 1935-1996, by Robert K. Meyer, pages 338 - 340.

    • Meetings of the Association

  • European ASL Summer meeting, Leeds, England, July 7-12, 1997, pages 55 - 117.
  • ASL Spring Meeting, Los Angeles California, March 27-28, 1998, pages 210 - 216.
  • ASL Winter Meeting, Baltimore, Maryland, January 9-10, 1998, pages 217 -- 224.
  • ASL Winter Meeting, Orlando, Florida, January 12-13, 1996, pages 436 - 442.
  • ASL Spring Meeting, Toronto, Ontario, Canada, May 22-25, 1998, pages 443 - 458.

    • Meetings sponsored by the Association

  • 4th Workshop on Logic, Language, Information and Computation (WoLLIC '97), pages 225 - 226.
  • International Symposia on Theoretical Aspects of Computer Science: TACS '97, TACS '94, and TACS '91, pages 227 - 228.
  • Australasian Association for Logic 1997 Annual Conference, pages 459 - 464.

    • Notices

  • Notices , pages 118 - 123.
  • Notices (No. 2), pages 229 - 232.
  • Notices (No. 3), pages 341 - 344.
  • Notices (No. 4), pages 511 - 516.

    • Officers, committees, members, and By-Laws of the Association

  • The Constitution and By-Laws of the Association for Symbolic Logic, pages 124 - 128.
  • List of officers and committees of the Association for Symbolic Logic, pages 465 - 468.
  • List of members of the Association for Symbolic Logic, pages 469 - 510.