1. Forcing axiom failure for any λ>ℵ₁

   • Saharon Shelah

   OriginalPaper 02 February 2004 Pages: 285 - 295

2. Proof-theoretical analysis of order relations

   • Sara Negri
   • Jan von Plato
   • Thierry Coquand

   OriginalPaper 02 February 2004 Pages: 297 - 309

3. Generic compactness reformulated

   • Bernhard König

   OriginalPaper 15 January 2004 Pages: 311 - 326

4. The isomorphism problem for classes of computable fields

   • Wesley Calvert

   OriginalPaper 02 February 2004 Pages: 327 - 336

5. The strong soundness theorem for real closed fields and Hilbert’s Nullstellensatz in second order arithmetic

   • Nobuyuki Sakamoto
   • Kazuyuki Tanaka

   OriginalPaper 15 January 2004 Pages: 337 - 349

6. Matrix identities and the pigeonhole principle

   • Michael Soltys
   • Alasdair Urquhart

   OriginalPaper 15 January 2004 Pages: 351 - 357

7. Adding Skolem functions to simple theories

   • Herwig Nübling

   OriginalPaper 02 February 2004 Pages: 359 - 370

8. On the quantifier complexity of Δ _n+1 (T)– induction

   • A. Cordón-Franco
   • A. Fernández-Margarit
   • F.F. Lara-Martín

   OriginalPaper 02 February 2004 Pages: 371 - 398

9. Embeddings into the Medvedev and Muchnik lattices of Π⁰ ₁ classes

   • Stephen Binns
   • Stephen G. Simpson

   OriginalPaper 02 February 2004 Pages: 399 - 414

10. Quasimaximality and principal filters isomorphism between

    • Rumen Dimitrov

    OriginalPaper 15 January 2004 Pages: 415 - 424