Register computations on ordinals Peter KoepkeRyan Siders OriginalPaper 19 July 2008 Pages: 529 - 548
Equality of proofs for linear equality Kosta DošenZoran Petrić OriginalPaper 22 July 2008 Pages: 549 - 565
Shelah’s work on non-semi-proper iterations, I Chaz Schlindwein OriginalPaper 22 July 2008 Pages: 579 - 606
Resplendent models and \({\Sigma_1^1}\) -definability with an oracle Andrey Bovykin OriginalPaper 29 July 2008 Pages: 607 - 623
Topological complexity of locally finite ω-languages Olivier Finkel OriginalPaper 29 July 2008 Pages: 625 - 651