Provably recursive functions of constructive and relatively constructive theories Morteza Moniri OriginalPaper 24 December 2009 Pages: 291 - 300
Quotients of Boolean algebras and regular subalgebras B. BalcarT. Pazák OriginalPaper 22 January 2010 Pages: 329 - 342
Scattered and hereditarily irresolvable spaces in modal logic Guram BezhanishviliPatrick J. Morandi OriginalPaper 04 February 2010 Pages: 343 - 365
Definability of second order generalized quantifiers Juha Kontinen OriginalPaper 09 February 2010 Pages: 379 - 398
Ramsey’s theorem for trees: the polarized tree theorem and notions of stability Damir D. DzhafarovJeffry L. HirstTamara J. Lakins OriginalPaper 18 February 2010 Pages: 399 - 415