The Bulletin of Symbolic Logic, Volume 4

Volume 4, Number 1, March 1998

• Wilfrid Hodges:
  An editor recalls some hopeless papers. 1-16
  Electronic Edition (link) BibTeX
• Byunghan Kim, Anand Pillay:
  From stability to simplicity. 17-36
  Electronic Edition (link) BibTeX

• Ilijas Farah:
  Completely additive liftings. 37-54
  Electronic Edition (link) BibTeX

Volume 4, Number 2, June 1998

• C. Anthony Anderson:
  Alonzo Church's contributions to philosophy and intensional logic. 129-171
  Electronic Edition (link) BibTeX
• Herbert B. Enderton:
  Alonzo Church and the Reviews. 172-180
  Electronic Edition (link) BibTeX
• Richard Tieszen:
  G\"odel's path from the incompleteness theorems (1931) to phenomenology (1961). 181-203
  Electronic Edition (link) BibTeX

• Marcia J. Groszek, Theodore A. Slaman:
  A basis theorem for perfect sets. 204-209
  Electronic Edition (link) BibTeX

Volume 4, Number 3, September 1998

• Erik Palmgren:
  Developments in constructive nonstandard analysis. 233-272
  Electronic Edition (link) BibTeX
• Stewart Shapiro:
  Incompleteness, mechanism, and optimism. 273-302
  Electronic Edition (link) BibTeX
• Jaakko Hintikka:
  Truth definitions, Skolem functions and axiomatic set theory. 303-337
  Electronic Edition (link) BibTeX

Volume 4, Number 4, December 1998

• Martin Grohe:
  Finite variable logics in descriptive complexity theory. 345-398
  Electronic Edition (link) BibTeX
• Juan Barba:
  Construction of truth predicates: approximation versus revision. 399-417
  Electronic Edition (link) BibTeX

• Sara Negri, Jan von Plato:
  Cut elimination in the presence of axioms. 418-435
  Electronic Edition (link) BibTeX