We gratefully acknowledge support from
the Simons Foundation and member institutions.

Logic

Authors and titles for recent submissions, skipping first 25

[ total of 35 entries: 1-10 | 6-15 | 16-25 | 26-35 ]
[ showing 10 entries per page: fewer | more | all ]

Tue, 2 Dec 2025 (continued, showing last 3 of 15 entries)

[26]  arXiv:2512.00910 (cross-list from math.FA) [pdf, ps, other]
Title: Effros' theorem on transitive group actions with a glimpse into descriptive set theory
Subjects: Functional Analysis (math.FA); Logic (math.LO)
[27]  arXiv:2512.00230 (cross-list from math.FA) [pdf, ps, other]
Title: Complemented ideals of $\ell_\infty$
Subjects: Functional Analysis (math.FA); General Topology (math.GN); Logic (math.LO)
[28]  arXiv:2512.00224 (cross-list from math.OA) [pdf, ps, other]
Title: Model Theory of General von Neumann Algebras II: Group Actions and Crossed Products
Comments: 22 pages, comments welcome!
Subjects: Operator Algebras (math.OA); Logic (math.LO)

Mon, 1 Dec 2025

[29]  arXiv:2511.22945 [pdf, ps, other]
Title: On idempotent measure conjecture and decomposition of invariant measures
Comments: 31 pages
Subjects: Logic (math.LO)
[30]  arXiv:2511.22922 [pdf, ps, other]
Title: The Equations $2^n \pm 2^m \pm 1 = x^2$ in the Arithmetic of the Even and Odd
Authors: Matt Wicks
Subjects: Logic (math.LO)
[31]  arXiv:2511.22901 [pdf, ps, other]
Title: Contrasting the Halves of an Ahmad Pair
Comments: 26 pages
Subjects: Logic (math.LO)
[32]  arXiv:2511.22742 [pdf, ps, other]
Title: Cross-Sections of Divisible Abelian $o$-Groups via Tame Pairs
Comments: 7 pages,
Subjects: Logic (math.LO)
[33]  arXiv:2511.22495 [pdf, ps, other]
Title: Revisiting Interpolation in Relevant Logics
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[34]  arXiv:2511.22127 [pdf, ps, other]
Title: Connexive logics and connexive semi-Heyting algebras
Comments: 35 pages, 2 figures, Results of this paper were presented by the second author in an invited lecture at AAA107-Workshop on General Algebra, Bern, Switzerland, June 20-22, 2025
Subjects: Logic (math.LO)
[35]  arXiv:2511.21954 [pdf, ps, other]
Title: Definiteness properties of first-order schemes
Subjects: Logic (math.LO)
[ total of 35 entries: 1-10 | 6-15 | 16-25 | 26-35 ]
[ showing 10 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, math, new, 2512, contact, help  (Access key information)