On diagonal functions for equivalence relations Serikzhan A. BadaevNikolay A. BazhenovManat Mustafa OriginalPaper 18 October 2023 Pages: 259 - 278
Stably embedded submodels of Henselian valued fields Pierre Touchard OriginalPaper 20 October 2023 Pages: 279 - 315
On Harrop disjunction property in intermediate predicate logics Katsumasa Ishii OriginalPaper 27 October 2023 Pages: 317 - 324
Maximal Tukey types, P-ideals and the weak Rudin–Keisler order Konstantinos A. BerosPaul B. Larson OriginalPaper 31 October 2023 Pages: 325 - 352
Weak essentially undecidable theories of concatenation, part II Juvenal Murwanashyaka OriginalPaper Open access 02 November 2023 Pages: 353 - 390
Prenex normalization and the hierarchical classification of formulas Makoto FujiwaraTaishi Kurahashi OriginalPaper 23 December 2023 Pages: 391 - 403
L-domains as locally continuous sequent calculi Longchun WangQingguo Li OriginalPaper 23 January 2024 Pages: 405 - 425
Cut elimination for coherent theories in negation normal form Paolo Maffezioli OriginalPaper Open access 24 January 2024 Pages: 427 - 445
Regressive versions of Hindman’s theorem Lorenzo CarlucciLeonardo Mainardi OriginalPaper Open access 31 January 2024 Pages: 447 - 472
Indestructibility and the linearity of the Mitchell ordering Arthur W. Apter OriginalPaper 13 February 2024 Pages: 473 - 482
The second-order version of Morley’s theorem on the number of countable models does not require large cardinals Franklin D. TallJing Zhang OriginalPaper 14 February 2024 Pages: 483 - 490
Nondefinability results with entire functions of finite order in polynomially bounded o-minimal structures Hassan Sfouli OriginalPaper 15 February 2024 Pages: 491 - 498
Vector spaces with a union of independent subspaces Alessandro BerarducciMarcello MaminoRosario Mennuni OriginalPaper Open access 17 February 2024 Pages: 499 - 507