Logic

Authors and titles for recent submissions

• Thu, 11 Sep 2025
• Wed, 10 Sep 2025
• Tue, 9 Sep 2025
• Mon, 8 Sep 2025
• Fri, 5 Sep 2025

See today's new changes

Tue, 9 Sep 2025 (continued, showing last 6 of 7 entries )

[5] arXiv:2509.06238 [pdf, html, other]

Title: Notions of Negligibility and Approximate Classification

Alexander Burka

Subjects: Logic (math.LO)

[6] arXiv:2509.06055 [pdf, html, other]

Title: Fixed-Point Theorems and the Ethics of Radical Transparency: A Logic-First Treatment

Faruk Alpay, Hamdi Alakkad

Comments: 29 pages

Subjects: Logic (math.LO); Computer Science and Game Theory (cs.GT)

[7] arXiv:2509.05872 [pdf, html, other]

Title: Hyper swap structures and Kalman functors: the case study of da Costa logic $C_ω$

Marcelo E. Coniglio, Kaique Roberto, Ana Claudia Golzio

Comments: 20 pages

Subjects: Logic (math.LO)

[8] arXiv:2509.05653 [pdf, other]

Title: Subsystems of Open Induction

Stefan Hetzl, Johannes Weiser

Subjects: Logic (math.LO)

[9] arXiv:2509.06877 (cross-list from math.GR) [pdf, other]

Title: The Ribes-Zalesskiĭ product theorem via foldings and extensions

Zhaoshen Zhai

Comments: 12 pages, 8 figures

Subjects: Group Theory (math.GR); Combinatorics (math.CO); Logic (math.LO)

[10] arXiv:2509.05548 (cross-list from math.GR) [pdf, html, other]

Title: Graphical small cancellation and hyperfiniteness of boundary actions

Chris Karpinski, Damian Osajda, Koichi Oyakawa

Comments: 17 pages, 12 figures. Comments welcome

Subjects: Group Theory (math.GR); Logic (math.LO)

Mon, 8 Sep 2025 (showing 2 of 2 entries )

[11] arXiv:2509.05044 [pdf, html, other]

Title: Subvarieties of pointed Abelian l-groups

Filip Jankovec

Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)

[12] arXiv:2509.04613 (cross-list from math.GR) [pdf, html, other]

Title: Hyperfiniteness of the boundary action of virtually special groups

Koichi Oyakawa

Comments: 24 pages

Subjects: Group Theory (math.GR); Geometric Topology (math.GT); Logic (math.LO)

Fri, 5 Sep 2025 (showing 5 of 5 entries )

[13] arXiv:2509.04350 [pdf, html, other]

Title: Computability of dimension groups

Maria Sabitova

Subjects: Logic (math.LO)

[14] arXiv:2509.03688 [pdf, html, other]

Title: The reverse mathematics of bounded Ramsey's theorem for pairs

Quentin Le Houérou, Ludovic Patey

Comments: 31 pages

Subjects: Logic (math.LO)

[15] arXiv:2509.04271 (cross-list from math.CO) [pdf, html, other]

Title: Stabilizers and NIP arithmetic regularity

G. Conant, C. Terry

Comments: 30 pages

Subjects: Combinatorics (math.CO); Group Theory (math.GR); Logic (math.LO)

[16] arXiv:2509.04270 (cross-list from math.CO) [pdf, html, other]

Title: All Ordinals are Cop-Robber Ordinals

Jorge Cruz Chapital, Tomáš Flídr, Maria-Romina Ivan

Comments: 8 pages

Subjects: Combinatorics (math.CO); Logic (math.LO)

[17] arXiv:2509.04192 (cross-list from cs.AI) [pdf, html, other]

Title: Domain size asymptotics for Markov logic networks

Vera Koponen

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Logic (math.LO)