arxiv math.LO

Volker Bosserhoff
A Counterexample Regarding C.E. Closed Subsets of [0,1] Under Homeomorphisms
https://arxiv.org/abs/2508.00166

Azza Gaysin
Proof complexity of Mal'tsev CSP
https://arxiv.org/abs/2508.00396

Marcos Gir\'on
On the regularity of almost stable relations
https://arxiv.org/abs/2508.00511

Kyle Gannon, Daniel Max Hoffmann, Krzysztof Krupi\'nski
Convolution semigroups for automorphism dynamics
https://arxiv.org/abs/2507.23503

Fornasiero Antongiulio, Terzo Giuseppina
Generic derivations on algebraically bounded structures II Model theoretical properties
https://arxiv.org/abs/2507.22181

Tom Benhamou, Justin T. Moore, Luke Serafin
Ultrafilters over Successor Cardinals and the Tukey Order
https://arxiv.org/abs/2507.22307

Alan Dow, Osvaldo Guzm\'an
No covering with nowhere dense \textsf{P}-sets in the Cohen model
https://arxiv.org/abs/2507.22476

James E. Hanson
A combinatorial characterization of Kim's lemma for pairs of bi-invariant types
https://arxiv.org/abs/2507.21366

Alberto Cassella, Gianluca Paolini, Giovanni Paolini
First-order aspects of Artin groups
https://arxiv.org/abs/2507.21575

Patrick Uftring
Maximal order types for sequences with gap condition
https://arxiv.org/abs/2507.21877

Alexander Berenstein, Nicol\'as Cuervo Ovalle, Isaac Goldbring
Model theory of Hilbert spaces expanded by normal operators
https://arxiv.org/abs/2507.21894

Eyal Kaplan
The number of normal measures, revisited
https://arxiv.org/abs/2507.20466

Christian Herrmann
Some remarks on lattices of equivalences
https://arxiv.org/abs/2507.20605

Graham E. Leigh, Dominik Wehr
Unravelling Cyclic First-Order Arithmetic
https://arxiv.org/abs/2507.20865

Juan M Santiago Su\'arez, Matteo Viale
The Boolean Compactness Theorem for $\mathrm{L}_{\infty\infty}$
https://arxiv.org/abs/2507.21005

Jouko V\"a\"an\"anen
Interpolation in model theory
https://arxiv.org/abs/2507.19097

Cesare Straffelini, Sebastiano Thei
Higher Solovay Models
https://arxiv.org/abs/2507.19129

Eduardo Magalh\~aes
On Definably Compact Semigroups in o-Minimal Structures
https://arxiv.org/abs/2507.19162

Jie Fan
Axiomatizing Rumsfeld Ignorance
https://arxiv.org/abs/2507.17776

Marco Abbadini, Achim Jung
On the symmetry behind duality
https://arxiv.org/abs/2507.18245

Andrew DeLapo, David Gonzalez
Computability of Separation Axioms in Countable Second Countable Spaces
https://arxiv.org/abs/2507.18564

Bertalan Bodor
Structures with not too fast unlabelled growth
https://arxiv.org/abs/2507.16985

Yutong Duan, Christine Eagles, L\'eo Jimenez
Algebraic independence of solutions to multiple Lotka-Volterra systems
https://arxiv.org/abs/2507.17090

Jorge Antonio Cruz Chapital
$\kappa$-barely independent families and Tukey types of ultrafilters
https://arxiv.org/abs/2507.17124

Rapha\"el Carroy, Maxwell Levine, Lorenzo Notaro
Some questions on entangled linear orders
https://arxiv.org/abs/2507.17503

Cesare Straffelini, Kilian Zambanini
Minimal Banach-Tarski Decompositions
https://arxiv.org/abs/2507.17517

Joseph McDonald
Canonical completion and duality for cylindric ortholattices and cylindric Boolean algebras
https://arxiv.org/abs/2507.17715

Joseph McDonald
Orthogonality relations and operators on bounded quasi-implication algebras
https://arxiv.org/abs/2507.17724

Lorenz Halbeisen, Silvan Horvath, Tan \"Ozalp
There may be exactly $n$ $Q$-points
https://arxiv.org/abs/2507.15123

Mihai Prunescu
On polynomial systems of equations in square matrices filled with natural numbers
https://arxiv.org/abs/2507.15265