Type space functors and interpretations in positive logic Mark Kamsma OriginalPaper Open access 30 March 2022 Pages: 1 - 28
Second order arithmetic as the model companion of set theory Giorgio VenturiMatteo Viale OriginalPaper 22 June 2022 Pages: 29 - 53
Computable scott sentences for quasi–Hopfian finitely presented structures Gianluca Paolini OriginalPaper 25 June 2022 Pages: 55 - 65
Involutive Uninorm Logic with Fixed Point enjoys finite strong standard completeness Sándor Jenei OriginalPaper Open access 22 July 2022 Pages: 67 - 86
Pseudointersection numbers, ideal slaloms, topological spaces, and cardinal inequalities Jaroslav Šupina OriginalPaper 01 July 2022 Pages: 87 - 112
Filter pairs and natural extensions of logics Peter ArndtHugo Luiz MarianoDarllan Conceição Pinto OriginalPaper 02 July 2022 Pages: 113 - 145
A few more dissimilarities between second-order arithmetic and set theory Kentaro Fujimoto OriginalPaper Open access 09 July 2022 Pages: 147 - 206
The additive structure of integers with the lower Wythoff sequence Mohsen KhaniAfshin Zarei OriginalPaper 06 September 2022 Pages: 225 - 237
Complexity of \(\Sigma ^0_n\)-classifications for definable subsets Svetlana AleksandrovaNikolay BazhenovMaxim Zubkov OriginalPaper 20 July 2022 Pages: 239 - 256
Generalization of Shapiro’s theorem to higher arities and noninjective notations Dariusz KalocińskiMichał Wrocławski OriginalPaper Open access 14 September 2022 Pages: 257 - 288
Correction to: Generalization of Shapiro’s theorem to higher arities and noninjective notations Dariusz KalocińskiMichał Wrocławski Correction Open access 09 November 2022 Pages: 289 - 290