Logic

Authors and titles for recent submissions, skipping first 25

[ total of 35 entries: 1-50 | 26-35 ]
[ showing up to 50 entries per page: fewer | more ]

[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

Authors: Jochen Wengenroth

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$

Authors: Michael Hrušák, Luis Sáenz

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

Authors: Jananan Arulseelan

Comments: 22 pages, comments welcome!

Subjects: Operator Algebras (math.OA); Logic (math.LO)

[29] arXiv:2511.22945 [pdf, ps, other]: Title: On idempotent measure conjecture and decomposition of invariant measures

Authors: Daniel Max Hoffmann, Tomasz Rzepecki

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

Authors: Karthik Ravishankar

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

Authors: Ricardo Palomino Piepenborn

Comments: 7 pages,

Subjects: Logic (math.LO)
[33] arXiv:2511.22495 [pdf, ps, other]: Title: Revisiting Interpolation in Relevant Logics

Authors: Wesley Fussner, Andrew Tedder

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

Authors: Juan M. Cornejo, Hanamantagouda P. Sankappanavar

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

Authors: Piotr Gruza, Mateusz Łełyk

Subjects: Logic (math.LO)

[ total of 35 entries: 1-50 | 26-35 ]
[ showing up to 50 entries per page: fewer | more ]