Quantifier-free induction for lists Stefan HetzlJannik Vierling OriginalPaper Open access 20 April 2024
The Josefson–Nissenzweig theorem and filters on \(\omega \) Witold MarciszewskiDamian Sobota OriginalPaper Open access 09 April 2024
Games characterizing certain families of functions Marek BalcerzakTomasz NatkaniecPiotr Szuca OriginalPaper 06 April 2024
Herbrandized modified realizability Gilda FerreiraPaulo Firmino OriginalPaper Open access 04 April 2024
Indiscernibles and satisfaction classes in arithmetic Ali Enayat OriginalPaper Open access 28 March 2024
On computable numberings of families of Turing degrees Marat Faizrahmanov OriginalPaper 18 March 2024
Around accumulation points and maximal sequences of indiscernibles Moti Gitik OriginalPaper Open access 13 March 2024
On the extendability to \(\mathbf {\Pi }_3^0\) ideals and Katětov order Jialiang HeJintao LuoShuguo Zhang OriginalPaper 26 February 2024
Errata: on the role of the continuum hypothesis in forcing principles for subcomplete forcing Gunter Fuchs OriginalPaper 19 February 2024
Vector spaces with a union of independent subspaces Alessandro BerarducciMarcello MaminoRosario Mennuni OriginalPaper Open access 17 February 2024 Pages: 499 - 507
Nondefinability results with entire functions of finite order in polynomially bounded o-minimal structures Hassan Sfouli OriginalPaper 15 February 2024 Pages: 491 - 498
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
Indestructibility and the linearity of the Mitchell ordering Arthur W. Apter OriginalPaper 13 February 2024 Pages: 473 - 482
Regressive versions of Hindman’s theorem Lorenzo CarlucciLeonardo Mainardi OriginalPaper Open access 31 January 2024 Pages: 447 - 472
Cut elimination for coherent theories in negation normal form Paolo Maffezioli OriginalPaper Open access 24 January 2024 Pages: 427 - 445
L-domains as locally continuous sequent calculi Longchun WangQingguo Li OriginalPaper 23 January 2024 Pages: 405 - 425
Prenex normalization and the hierarchical classification of formulas Makoto FujiwaraTaishi Kurahashi OriginalPaper 23 December 2023 Pages: 391 - 403
Weak essentially undecidable theories of concatenation, part II Juvenal Murwanashyaka OriginalPaper Open access 02 November 2023 Pages: 353 - 390
Maximal Tukey types, P-ideals and the weak Rudin–Keisler order Konstantinos A. BerosPaul B. Larson OriginalPaper 31 October 2023 Pages: 325 - 352
On Harrop disjunction property in intermediate predicate logics Katsumasa Ishii OriginalPaper 27 October 2023 Pages: 317 - 324
Stably embedded submodels of Henselian valued fields Pierre Touchard OriginalPaper 20 October 2023 Pages: 279 - 315
On diagonal functions for equivalence relations Serikzhan A. BadaevNikolay A. BazhenovManat Mustafa OriginalPaper 18 October 2023 Pages: 259 - 278
Compositional truth with propositional tautologies and quantifier-free correctness Bartosz Wcisło OriginalPaper Open access 06 October 2023 Pages: 239 - 257
Effective weak and vague convergence of measures on the real line Diego A. Rojas OriginalPaper Open access 27 September 2023 Pages: 225 - 238
Cut elimination by unthreading Gabriele Pulcini OriginalPaper Open access 22 September 2023 Pages: 211 - 223
Superrosiness and dense pairs of geometric structures Gareth J. Boxall OriginalPaper Open access 19 September 2023 Pages: 203 - 209
Computable approximations of a chainable continuum with a computable endpoint Zvonko IljazovićMatea Jelić OriginalPaper 13 September 2023 Pages: 181 - 201
Semi-honest subrecursive degrees and the collection rule in arithmetic Andrés Cordón-FrancoF. Félix Lara-Martín OriginalPaper 12 August 2023 Pages: 163 - 180
Convergence of measures after adding a real Damian SobotaLyubomyr Zdomskyy OriginalPaper Open access 11 August 2023 Pages: 135 - 162
A Mathias criterion for the Magidor iteration of Prikry forcings Omer Ben-Neria OriginalPaper 04 August 2023 Pages: 119 - 134
Herbrand complexity and the epsilon calculus with equality Kenji MiyamotoGeorg Moser OriginalPaper 29 July 2023 Pages: 89 - 118
Revisiting the conservativity of fixpoints over intuitionistic arithmetic Mattias Granberg OlssonGraham E. Leigh OriginalPaper Open access 28 July 2023 Pages: 61 - 87
Turing degrees and randomness for continuous measures Mingyang LiJan Reimann OriginalPaper 15 June 2023 Pages: 39 - 59
Models of \({{\textsf{ZFA}}}\) in which every linearly ordered set can be well ordered Paul HowardEleftherios Tachtsis OriginalPaper 13 June 2023 Pages: 1131 - 1157
The fixed point and the Craig interpolation properties for sublogics of \(\textbf{IL}\) Sohei IwataTaishi KurahashiYuya Okawa OriginalPaper Open access 10 June 2023 Pages: 1 - 37
On the complexity of the theory of a computably presented metric structure Caleb CamrudIsaac GoldbringTimothy H. McNicholl OriginalPaper 09 June 2023 Pages: 1111 - 1129
Structure of semisimple rings in reverse and computable mathematics Huishan Wu OriginalPaper 08 June 2023 Pages: 1083 - 1100
A syntactic approach to Borel functions: some extensions of Louveau’s theorem Takayuki KiharaKenta Sasaki OriginalPaper 02 June 2023 Pages: 1041 - 1082
On the non-existence of \(\kappa \)-mad families Haim HorowitzSaharon Shelah OriginalPaper 23 May 2023 Pages: 1033 - 1039
An AEC framework for fields with commuting automorphisms Tapani HyttinenKaisa Kangas OriginalPaper Open access 20 May 2023 Pages: 1001 - 1032
The small index property for countable superatomic boolean algebras J. K. Truss OriginalPaper Open access 19 May 2023 Pages: 991 - 1000
Mathias and silver forcing parametrized by density Giorgio LaguzziHeike MildenbergerBrendan Stuber-Rousselle OriginalPaper Open access 18 May 2023 Pages: 965 - 990
Questions on cardinal invariants of Boolean algebras Mario Jardón Santos OriginalPaper Open access 18 May 2023 Pages: 947 - 963
