Invariance results for definable extensions of groups Mário J. EdmundoGareth O. JonesNicholas J. Peatfield OriginalPaper 03 July 2010 Pages: 19 - 31
A superhigh diamond in the c.e. tt-degrees Douglas CenzerJohanna N. Y. FranklinGuohua Wu OriginalPaper 15 July 2010 Pages: 33 - 44
Representations of structural closure operators José Gil-Férez OriginalPaper 28 July 2010 Pages: 45 - 73
Souslin algebra embeddings Gido Scharfenberger-Fabian OriginalPaper 23 September 2010 Pages: 75 - 113
The short extenders gap three forcing using a morass Carmi Merimovich OriginalPaper 27 October 2010 Pages: 115 - 135
On the contrapositive of countable choice Hajime IshiharaPeter Schuster OriginalPaper 18 September 2010 Pages: 137 - 143
Subdirectly irreducible state-morphism BL-algebras Anatolij Dvurečenskij OriginalPaper 17 September 2010 Pages: 145 - 160
Completeness with respect to a chain and universal models in fuzzy logic Franco Montagna Original Article 25 November 2010 Pages: 161 - 183
Deciding the existence of uniform interpolants over transitive models Giovanna D’AgostinoGiacomo Lenzi Original Article 24 September 2010 Pages: 185 - 196
Intermediate Logics and the de Jongh property Dick de JonghRineke VerbruggeAlbert Visser Original Article Open access 09 October 2010 Pages: 197 - 213
The conjugacy problem for the automorphism group of the random graph Samuel CoskeyPaul EllisScott Schneider OriginalPaper 10 October 2010 Pages: 215 - 221
On the strength of no normal precipitous filter Moti GitikLiad Tal Original Article 14 October 2010 Pages: 223 - 243
A note on propositional proof complexity of some Ramsey-type statements Jan Krajíček Original Paper 12 October 2010 Pages: 245 - 255