On the non-measurability of \(\omega \)-categorical Hrushovski constructions Paolo Marimon OriginalPaper Open access 09 October 2024
On categoricity of scattered linear orders of constructive ranks Andrey FrolovMaxim Zubkov OriginalPaper 16 August 2024
Different covering numbers of compact tree ideals Jelle Mathis KuiperOtmar Spinas OriginalPaper Open access 16 August 2024
The provably total functions of basic arithmetic and its extensions Mohammad ArdeshirErfan KhanikiMohsen Shahriari OriginalPaper 14 August 2024
Undecidability of indecomposable polynomial rings Marco BaroneNicolás Caro-MontoyaEudes Naziazeno OriginalPaper 12 August 2024
Punctually presented structures II: comparing presentations Marina DorzhievaRodney DowneyKeng Meng Ng OriginalPaper Open access 08 August 2024
On some \(\Sigma ^{B}_{0}\)-formulae generalizing counting principles over \(V^{0}\) Eitetsu Ken OriginalPaper Open access 22 July 2024
On absorption’s formula definable semigroups of complete theories Mahsut BekenovAida KassatovaAnvar Nurakunov OriginalPaper 20 July 2024
Intuitionistic sets and numbers: small set theory and Heyting arithmetic Stewart ShapiroCharles McCartyMichael Rathjen OriginalPaper Open access 18 June 2024
The Tarski–Lindenbaum algebra of the class of strongly constructivizable models with \(\omega \)-stable theories Mikhail Peretyat’kin OriginalPaper 08 June 2024
The Fan Theorem, its strong negation, and the determinacy of games Wim Veldman OriginalPaper Open access 06 June 2024
Glivenko–Cantelli classes and NIP formulas Karim Khanaki OriginalPaper 03 June 2024 Pages: 1005 - 1031
Separablilty of metric measure spaces and choice axioms Paul Howard OriginalPaper 21 May 2024 Pages: 987 - 1003
Pathology of submeasures and \(F_{\sigma }\) ideals Jorge MartínezDavid Meza-AlcántaraCarlos Uzcátegui OriginalPaper Open access 13 May 2024 Pages: 941 - 967
Spectral MV-algebras and equispectrality Giuseppina Gerarda BarbieriAntonio Di NolaGiacomo Lenzi OriginalPaper Open access 08 May 2024 Pages: 893 - 919
On two consequences of CH established by Sierpiński R. PolP. Zakrzewski OriginalPaper Open access 07 May 2024 Pages: 877 - 891
Katětov order between Hindman, Ramsey and summable ideals Rafał FilipówKrzysztof KowitzAdam Kwela OriginalPaper Open access 03 May 2024 Pages: 859 - 876
On undecidability of the propositional logic of an associative binary modality Michael Kaminski OriginalPaper Open access 29 April 2024 Pages: 837 - 857
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
