Miguel Moreno, Beatrice Pitton On Borel sets in ideal topologies https://arxiv.org/abs/2512.21140

Pedro Marun, Saharon Shelah, Corey Bacal Switzer Baumgartner's Axiom and Small Posets https://arxiv.org/abs/2512.21247

Manuel Bodirsky, Bertalan Bodor, Paolo Marimon Taking model-complete cores https://arxiv.org/abs/2512.21278

Mariana Badano Herbrand's Theorem: a short statement and a model-theoretic proof https://arxiv.org/abs/2512.20496

Guram Bezhanishvili, Luca Carai Esakia's theorem for the amended monadic intuitionistic calculus https://arxiv.org/abs/2512.18111

Leon Chini Model Theory of Generic Vector Space Endomorphisms II https://arxiv.org/abs/2512.18327

Blaise Boissonneau, Lasse Vogel Know Your Rank! https://arxiv.org/abs/2512.18349

Hans Schoutens Universal categories https://arxiv.org/abs/2512.18896

Anupam Das, Abhishek De, Stepan L. Kuznetsov Undecidability of theories of semirings with fixed points https://arxiv.org/abs/2512.19401

Marcos Mazari-Armida, Jan Trlifaj Deconstructible classes of modules and stability https://arxiv.org/abs/2512.17799

Cesare Straffelini Projective Determinacy and Generic Absoluteness https://arxiv.org/abs/2512.16330

Sam van Gool Uniform Interpolation https://arxiv.org/abs/2512.15391

Valentin Haberl, Piotr Szewczak, Lyubomyr Zdomskyy Universally meager sets in the Miller model and similar ones https://arxiv.org/abs/2512.15490

Jim de Groot, Jo\~ao Marcos, Rodrigo Stefanes Intrinsic and relative characterization results for logics with negative modalities https://arxiv.org/abs/2512.15496

Matilda H\"aggblom, Minna Hirvonen, Jouko V\"a\"an\"anen Expressibility and inexpressibility in propositional team logics https://arxiv.org/abs/2512.15680

\'Alvaro D\'iaz Ramos, Garrett Ervin, Saharon Shelah Generalized sums of linear orders https://arxiv.org/abs/2512.13772

Beatrice Degasperi (AGL, UNITO, ICJ) Hyperdefinability of the Lie model for approximate subgroups https://arxiv.org/abs/2512.14250

Su Gao, Andr\'e Nies, Gianluca Paolini Procountable groups are not classifiable by countable structures https://arxiv.org/abs/2512.12256

Hajnal Andr\'eka, Zal\'an Gyenis, Istv\'an N\'emeti Permutations, substitutions and finite axiomatizability https://arxiv.org/abs/2512.12446

Andre Nies, Philipp Schlicht Automorphism groups of non-Archimedean groups https://arxiv.org/abs/2512.12589

Eyal Kaplan A note on the Ketonen order and Lipschitz reducibility between ultrafilters https://arxiv.org/abs/2512.12835

Sergei Artemov Non-Compact Proofs https://arxiv.org/abs/2512.12892

Masato Fujita Cardinality of the sets of dimension functions in ordered structures https://arxiv.org/abs/2512.10154

Masato Fujita Dimension functions in weakly o-minimal structures admitting strong cell decomposition https://arxiv.org/abs/2512.10158

Stefan Marian Ludwig Model theory of difference fields with an additive character on the fixed field https://arxiv.org/abs/2512.10583

Grigory K. Olkhovikov On connexivity in modal and conditional contexts https://arxiv.org/abs/2512.10816

Lajos Soukup, Zolt\'an Szentmikl\'ossy Noetherian Properties, Large Cardinals, and Independence Around $\aleph_{\omega}$ https://arxiv.org/abs/2512.10854

Luca Carai, Miriam Kurtzhals, Tommaso Moraschini Congruence permutability in quasivarieties https://arxiv.org/abs/2512.09064

Piotr Gruza, Leszek Aleksander Ko{\l}odziejczyk, Mateusz {\L}e{\l}yk Tightness and solidity in fragments of Peano Arithmetic https://arxiv.org/abs/2512.09120

Guram Bezhanishvili, Mashiath Khan Finite axiomatization of $\textbf{GL}\times\textbf{S5}$ and $\textbf{Grz}\times\textbf{S5}$ https://arxiv.org/abs/2512.09381

Maciej Fr\k{a}cek, Piotr Kowalski Some model theory of the Heisenberg group https://arxiv.org/abs/2512.09414

Alan Dow Some results on the $\pi$-weight of countable Fr\'echet-Urysohn spaces https://arxiv.org/abs/2512.09614

Vittorio Cipriani, Ekaterina Fokina, Matthew Harrison-Trainor, Liling Ko, Dino Rossegger Dichotomy results for classes of countable graphs https://arxiv.org/abs/2512.09832

Emmanuel Balderas, David Chodounsk\'y, Osvaldo Guzm\'an Shelah Ultrafilters https://arxiv.org/abs/2512.08081

Milan Rosko Adversarial Barrier in Uniform Class Separation https://arxiv.org/abs/2512.08149

Paulo Andr\'es Soto Moreno Fields of dp-Rank 2 and their W_2-Topologies: The Characteristic 2 Case https://arxiv.org/abs/2512.08468

Chris Lambie-Hanson, Pedro Marun Higher walks and squares https://arxiv.org/abs/2512.08633

Thierry Coquand, Jonas Hofer, Christian Sattler A Note About Models of Synthetic Algebraic Geometry https://arxiv.org/abs/2512.06025

Grigor Sargsyan, Nam Trang Partial Tower Sealing https://arxiv.org/abs/2512.06323

Franz-Viktor Kuhlmann Model theory of tame valued fields and beyond: recent developments and open questions https://arxiv.org/abs/2512.06386

Franz-Viktor Kuhlmann On certain definable coarsenings of valuation rings and their applications https://arxiv.org/abs/2512.06391

Joel David Hamkins A potentialist conception of ultrafinitism https://arxiv.org/abs/2512.06564

Yusuke Hayashi Stationary list colorings https://arxiv.org/abs/2512.06876

Fedor Pakhomov, Giovanni Sold\`a Generalized Higman's Theorem and iterated ideals https://arxiv.org/abs/2512.07685

Pawe{\l} Klinga, Andrzej Nowik, Anna W\k{a}sik $\sigma$-Porosity of Certain Ideals https://arxiv.org/abs/2512.07711

Rafal Gruszczynski, Paula Mench\'on, Ivo D\"untsch, G\"unther Gediga Towards a logic of affordances https://arxiv.org/abs/2512.05214

Mateusz {\L}e{\l}yk, James Walsh Descending sequences in reflection hierarchies https://arxiv.org/abs/2512.05263

Alex Citkin Hereditarily Structurally Complete Superintuitionistic Logics and Primitive Varieties of Heyting Algebras https://arxiv.org/abs/2512.05633

Peter J. Cameron, Siavash Lashkarighouchani A footnote to the KPT theorem in structural Ramsey theory https://arxiv.org/abs/2512.05684

Wesley Fussner, Krzysztof Krawczyk Maehara Interpolation in Extensions of R-mingle https://arxiv.org/abs/2512.04762