Epsilon substitution for transfinite induction Henry Towsner OriginalPaper 09 October 2004 Pages: 397 - 412
Standard completeness theorem for ΠMTL Rostislav Horĉík OriginalPaper 01 September 2004 Pages: 413 - 424
A proof-theoretical investigation of global intuitionistic (fuzzy) logic Agata Ciabattoni OriginalPaper 17 September 2004 Pages: 435 - 457
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
Categorical abstract algebraic logic categorical algebraization of first-order logic without terms George Voutsadakis OriginalPaper 08 September 2004 Pages: 473 - 491
Mad families, forcing and the Suslin Hypothesis Miloš S. Kurilić OriginalPaper 08 October 2004 Pages: 499 - 512
Diamond principles in Cichoń’s diagram Hiroaki Minami OriginalPaper 11 November 2004 Pages: 513 - 526