Partitions of trees and \({{\sf ACA}^\prime_{0}}\) Bernard A. AndersonJeffry L. Hirst OriginalPaper 17 March 2009 Pages: 227 - 230
The modal logic of \({\beta(\mathbb{N})}\) Guram BezhanishviliJohn Harding OriginalPaper 26 March 2009 Pages: 231 - 242
Commutative basic algebras and non-associative fuzzy logics Michal BoturRadomír Halaš OriginalPaper 27 March 2009 Pages: 243 - 255
Random closed sets viewed as random recursions R. Daniel MauldinAlexander P. McLinden OriginalPaper 26 March 2009 Pages: 257 - 263
Comprehension contradicts to the induction within Łukasiewicz predicate logic Shunsuke Yatabe OriginalPaper 26 March 2009 Pages: 265 - 268
Categoricity in homogeneous complete metric spaces Åsa HirvonenTapani Hyttinen OriginalPaper 17 March 2009 Pages: 269 - 322
\({\Pi^1_2}\) -comprehension and the property of Ramsey Christoph Heinatsch OriginalPaper 20 March 2009 Pages: 323 - 386