A closed subset of Baire space not Medvedev equivalent to any closed set of Cantor space Joshua A. Cole OriginalPaper 25 April 2025
Restricted analytic valued fields with partial exponentiation Leonardo ÁngelXavier Caicedo OriginalPaper 13 March 2025
Symétrons et K-boucles \(\omega \)-stables \(\omega \)-stable symmetric spaces and K-loops Samuel Zamour OriginalPaper Open access 12 March 2025
On algebraic sums, trees and ideals in the Baire space Łukasz MazurkiewiczMarcin MichalskiSzymon Żeberski OriginalPaper 24 February 2025
The algebra of ordinary discourse. On the semantics of Cooper’s logic Umberto Rivieccio OriginalPaper Open access 27 January 2025
Axiomatizing modal inclusion logic and its variants Aleksi AnttilaMatilda HäggblomFan Yang OriginalPaper Open access 27 January 2025
Ordered abelian groups that do not have elimination of imaginaries Martina Liccardo OriginalPaper 15 January 2025
Conjunctions of exponential diophantine equations over \({\mathbb {Q}}\) Mihai Prunescu OriginalPaper 03 January 2025
The SB-property on metric structures Camilo ArgotyAlexander BerensteinNicolás Cuervo Ovalle OriginalPaper 03 January 2025
Categories and functors in reverse and computable mathematics Huishan Wu OriginalPaper 31 December 2024
The externally definable Ramsey property and fixed points on type spaces Nadav MeirRob Sullivan OriginalPaper 27 December 2024 Pages: 605 - 635
Bounded symbiosis and upwards reflection Lorenzo GaleottiYurii KhomskiiJouko Väänänen OriginalPaper Open access 23 December 2024 Pages: 579 - 603
Approximate categoricity in continuous logic James E. Hanson OriginalPaper 21 December 2024 Pages: 547 - 577
Variations on the Feferman-Vaught theorem, with applications to \(\prod _p \mathbb {F}_p\) Alice MedvedevAlexander Van Abel OriginalPaper 06 December 2024 Pages: 529 - 546
On the consistency strength of critical leaps Gunter Fuchs OriginalPaper 26 November 2024 Pages: 515 - 528
Relativized Galois groups of first order theories over a hyperimaginary Hyoyoon LeeJunguk Lee OriginalPaper 13 November 2024 Pages: 493 - 514
Infinite combinatorics revisited in the absence of Axiom of choice Tamás CsernákLajos Soukup OriginalPaper Open access 10 November 2024 Pages: 473 - 491
What would the rational Urysohn space and the random graph look like if they were uncountable? Ziemowit Kostana OriginalPaper 29 October 2024 Pages: 445 - 472
Degrees of relations on canonically ordered natural numbers and integers Nikolay BazhenovDariusz KalocińskiMichał Wrocławski OriginalPaper Open access 28 October 2024 Pages: 299 - 331
Free subsets in internally approachable models P. D. Welch OriginalPaper Open access 22 October 2024 Pages: 435 - 443
Random structures and automorphisms with a single orbit Hirotaka KikyoAkito Tsuboi OriginalPaper Open access 14 October 2024 Pages: 423 - 433
Bounded distributive lattices with strict implication and weak difference Sergio CelaniAgustín NagyBotero William Zuluaga OriginalPaper 13 October 2024 Pages: 387 - 422
A characterization of strongly computable finite factorization domains Geraldo Soto-RosaVictor Ocasio-González OriginalPaper 12 October 2024 Pages: 333 - 349
On the non-measurability of \(\omega \)-categorical Hrushovski constructions Paolo Marimon OriginalPaper Open access 09 October 2024 Pages: 351 - 386
On categoricity of scattered linear orders of constructive ranks Andrey FrolovMaxim Zubkov OriginalPaper 16 August 2024 Pages: 279 - 297
Different covering numbers of compact tree ideals Jelle Mathis KuiperOtmar Spinas OriginalPaper Open access 16 August 2024 Pages: 259 - 278
The provably total functions of basic arithmetic and its extensions Mohammad ArdeshirErfan KhanikiMohsen Shahriari OriginalPaper 14 August 2024 Pages: 205 - 257
Undecidability of indecomposable polynomial rings Marco BaroneNicolás Caro-MontoyaEudes Naziazeno OriginalPaper 12 August 2024 Pages: 185 - 203
Punctually presented structures II: comparing presentations Marina DorzhievaRodney DowneyKeng Meng Ng OriginalPaper Open access 08 August 2024 Pages: 159 - 184
On some \(\Sigma ^{B}_{0}\)-formulae generalizing counting principles over \(V^{0}\) Eitetsu Ken OriginalPaper Open access 22 July 2024 Pages: 117 - 158
On absorption’s formula definable semigroups of complete theories Mahsut BekenovAida KassatovaAnvar Nurakunov OriginalPaper 20 July 2024 Pages: 107 - 116
Intuitionistic sets and numbers: small set theory and Heyting arithmetic Stewart ShapiroCharles McCartyMichael Rathjen OriginalPaper Open access 18 June 2024 Pages: 79 - 105
The Tarski–Lindenbaum algebra of the class of strongly constructivizable models with \(\omega \)-stable theories Mikhail Peretyat’kin OriginalPaper 08 June 2024 Pages: 67 - 78
The Fan Theorem, its strong negation, and the determinacy of games Wim Veldman OriginalPaper Open access 06 June 2024 Pages: 1 - 66
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