On elementary equivalence in fuzzy predicate logics Pilar DellundeFrancesc Esteva OriginalPaper 26 September 2012 Pages: 1 - 17
A saturation property of structures obtained by forcing with a compact family of random variables Jan Krajíček OriginalPaper 13 September 2012 Pages: 19 - 28
Club degrees of rigidity and almost Kurepa trees Gunter Fuchs OriginalPaper 14 September 2012 Pages: 47 - 66
A characterization of \({\square(\kappa^{+})}\) in extender models Kyriakos KypriotakisMartin Zeman OriginalPaper 25 September 2012 Pages: 67 - 90
Non-deterministic inductive definitions Benno van den Berg OriginalPaper 02 October 2012 Pages: 113 - 135
Antibasis theorems for \({\Pi^0_1}\) classes and the jump hierarchy Ahmet Çevik OriginalPaper 20 October 2012 Pages: 137 - 142
Real closures of models of weak arithmetic Emil JeřábekLeszek Aleksander Kołodziejczyk OriginalPaper 13 November 2012 Pages: 143 - 157
The taming of recurrences in computability logic through cirquent calculus, Part I Giorgi Japaridze OriginalPaper 23 November 2012 Pages: 173 - 212
The taming of recurrences in computability logic through cirquent calculus, Part II Giorgi Japaridze OriginalPaper 05 December 2012 Pages: 213 - 259