1. Epsilon substitution for transfinite induction

   • Henry Towsner

   OriginalPaper 09 October 2004 Pages: 397 - 412

2. Standard completeness theorem for ΠMTL

   • Rostislav Horĉík

   OriginalPaper 01 September 2004 Pages: 413 - 424

3. The γ-borel conjecture

   • Arnold W. Miller

   OriginalPaper 01 September 2004 Pages: 425 - 434

4. A proof-theoretical investigation of global intuitionistic (fuzzy) logic

   • Agata Ciabattoni

   OriginalPaper 17 September 2004 Pages: 435 - 457

5. Restricted versions of the Tukey-Teichmüller theorem that are equivalent to the Boolean prime ideal theorem

   • R.E. Hodel

   OriginalPaper 01 September 2004 Pages: 459 - 472

6. Categorical abstract algebraic logic categorical algebraization of first-order logic without terms

   • George Voutsadakis

   OriginalPaper 08 September 2004 Pages: 473 - 491

7. On a problem of Foreman and Magidor

   • Arthur W. Apter

   OriginalPaper 09 October 2004 Pages: 493 - 498

8. Mad families, forcing and the Suslin Hypothesis

   • Miloš S. Kurilić

   OriginalPaper 08 October 2004 Pages: 499 - 512

9. Diamond principles in Cichoń’s diagram

   • Hiroaki Minami

   OriginalPaper 11 November 2004 Pages: 513 - 526