Quantifier-free induction for lists Stefan HetzlJannik Vierling OriginalPaper Open access 20 April 2024 Pages: 813 - 835
Square compactness and Lindelöf trees Pedro E. Marun OriginalPaper Open access 10 April 2024 Pages: 741 - 757
The Josefson–Nissenzweig theorem and filters on \(\omega \) Witold MarciszewskiDamian Sobota OriginalPaper Open access 09 April 2024 Pages: 773 - 812
The extent of saturation of induced ideals Kenta Tsukuura OriginalPaper 06 April 2024 Pages: 723 - 739
Games characterizing certain families of functions Marek BalcerzakTomasz NatkaniecPiotr Szuca OriginalPaper 06 April 2024 Pages: 759 - 772
Herbrandized modified realizability Gilda FerreiraPaulo Firmino OriginalPaper Open access 04 April 2024 Pages: 703 - 721
Cohesive powers of structures Valentina HarizanovKeshav Srinivasan OriginalPaper 28 March 2024 Pages: 679 - 702
Indiscernibles and satisfaction classes in arithmetic Ali Enayat OriginalPaper Open access 28 March 2024 Pages: 655 - 677
On computable numberings of families of Turing degrees Marat Faizrahmanov OriginalPaper 18 March 2024 Pages: 609 - 622
Around accumulation points and maximal sequences of indiscernibles Moti Gitik OriginalPaper Open access 13 March 2024 Pages: 591 - 608
Essential hereditary undecidability Albert Visser OriginalPaper Open access 01 March 2024 Pages: 529 - 562
On the extendability to \(\mathbf {\Pi }_3^0\) ideals and Katětov order Jialiang HeJintao LuoShuguo Zhang OriginalPaper 26 February 2024 Pages: 523 - 528
Errata: on the role of the continuum hypothesis in forcing principles for subcomplete forcing Gunter Fuchs OriginalPaper 19 February 2024 Pages: 509 - 521
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
