Logic

Authors and titles for August 2025

[76] arXiv:2508.06637 (cross-list from math.CT) [pdf, other]

Title: Double-functorial representation of regular structures

José Siqueira

Comments: 52 pages

Subjects: Category Theory (math.CT); Logic (math.LO)

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

Title: Minor-excluded graphs and soficity

Oriol Solé-Pi

Comments: 37 pages, 10 figures

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

[78] arXiv:2508.07736 (cross-list from math.CT) [pdf, html, other]

Title: Non-Standard Models of Homotopy Type Theory

Nima Rasekh

Comments: Updated references, 21 Pages, comments welcome!

Subjects: Category Theory (math.CT); Logic (math.LO)

[79] arXiv:2508.07737 (cross-list from math.CT) [pdf, html, other]

Title: Simplicial Homotopy Type Theory is not just Simplicial: What are $\infty$-Categories?

Nima Rasekh

Comments: Updated references, 11 pages, comments welcome!

Subjects: Category Theory (math.CT); Logic (math.LO)

[80] arXiv:2508.08397 (cross-list from math.FA) [pdf, html, other]

Title: Anchored Implication & Event-Indexed Fixed Points in Hilbert Spaces: Uniqueness and Quantitative Rates

Faruk Alpay, Bugra Kilictas, Taylan Alpay

Comments: 12 pages, 2 figures, 1 table

Subjects: Functional Analysis (math.FA); Logic (math.LO); Optimization and Control (math.OC)

[81] arXiv:2508.09226 (cross-list from physics.hist-ph) [pdf, html, other]

Title: One Plus One Equals Two Ones: On Identity, Aggregation, and Counting

Souvik Ghosh

Comments: 23 pages, 1 figure

Subjects: History and Philosophy of Physics (physics.hist-ph); History and Overview (math.HO); Logic (math.LO)

[82] arXiv:2508.09368 (cross-list from math.FA) [pdf, html, other]

Title: Descriptive set theory of separable Fréchet spaces

Bruno de Mendonça Braga, Willian Hans Goes Corrêa, Valentin Ferenczi

Subjects: Functional Analysis (math.FA); Logic (math.LO)

[83] arXiv:2508.09604 (cross-list from math.CT) [pdf, html, other]

Title: Toposes with enough points as categories of étale spaces

Sam van Gool, Jérémie Marquès, Umberto Tarantino

Subjects: Category Theory (math.CT); General Topology (math.GN); Logic (math.LO)

[84] arXiv:2508.09944 (cross-list from math.CT) [pdf, html, other]

Title: Poset-enriched pretoposes and compact ordered spaces

Jérémie Marquès, Luca Reggio

Comments: v1: 23 pages

Subjects: Category Theory (math.CT); Logic (math.LO)

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

Title: Cutsets in ${\mathcal P}(X)$

John Ginsburg, Bill Sands

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

[86] arXiv:2508.10813 (cross-list from cs.LO) [pdf, html, other]

Title: Modal definability in Euclidean modal logics

Philippe Balbiani, Tinko Tinchev

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

[87] arXiv:2508.11188 (cross-list from math.GN) [pdf, html, other]

Title: Totally Disconnected (non-metric) Gelfand Duality

Sebastián Rodríguez, Xavier Caicedo

Comments: 19 pages

Subjects: General Topology (math.GN); Logic (math.LO); Rings and Algebras (math.RA)

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

Title: A robust family of residually finite groups; spectra of residual finiteness growth, computability properties, and other applications (with an appendix by Arman Darbinyan and Emmanuel Rauzy)

Arman Darbinyan, Emmanuel Rauzy

Comments: Main text by Arman Darbinyan. Appendix by Arman Darbinyan and Emmanuel Rauzy

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

[89] arXiv:2508.13195 (cross-list from cs.LO) [pdf, html, other]

Title: Arithmetics within the Linear Time Hierarchy

Chris Pollett

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

[90] arXiv:2508.14271 (cross-list from cs.DC) [pdf, html, other]

Title: Pure Data Spaces

Saul Youssef

Comments: 26 pages

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Logic (math.LO)

[91] arXiv:2508.16014 (cross-list from cs.CC) [pdf, other]

Title: Prover-Adversary games for systems over (non-deterministic) branching programs

Anupam Das, Avgerinos Delkos

Comments: 34 pages, 8 figures

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

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

Title: Complexity in finitary argumentation (extended version)

Uri Andrews, Luca San Mauro

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

[93] arXiv:2508.17241 (cross-list from math.OA) [pdf, html, other]

Title: Model Theory of General von Neumann Algebras I: Generalized Ocneanu Ultraproducts

Jananan Arulseelan

Comments: 34 pages; comments welcome!

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

[94] arXiv:2508.17499 (cross-list from cs.CY) [pdf, other]

Title: AI-Powered Legal Intelligence System Architecture: A Comprehensive Framework for Automated Legal Consultation and Analysis

Sean Kalaycioglu, Bob Liu, Colin Hong, Haipeng Xie

Comments: 14 pages, 6 figures and 2 tables

Subjects: Computers and Society (cs.CY); Logic (math.LO)

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

Title: Skew Braces from a model-theoretic point of view 1

Maria Ferrara, Marco Trombetti, Moreno Invitti (ICJ, AGL), Frank Olaf Wagner (AGL, ICJ)

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

[96] arXiv:2508.17975 (cross-list from cs.CV) [pdf, html, other]

Title: Enhanced Drift-Aware Computer Vision Architecture for Autonomous Driving

Md Shahi Amran Hossain, Abu Shad Ahammed, Sayeri Mukherjee, Roman Obermaisser

Subjects: Computer Vision and Pattern Recognition (cs.CV); Logic (math.LO)

[97] arXiv:2508.18257 (cross-list from math.CA) [pdf, html, other]

Title: On the packing dimension of unions and extensions of $k$-planes

Jacob B. Fiedler

Comments: 36 pages, comments are welcome!

Subjects: Classical Analysis and ODEs (math.CA); Logic (math.LO)

[98] arXiv:2508.19206 (cross-list from cs.LO) [pdf, html, other]

Title: Decidability of Extensions of Presburger Arithmetic by Hardy Field Functions

Hera Brown, Jakub Konieczny

Comments: 17 pages

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

[99] arXiv:2508.19423 (cross-list from math.CT) [pdf, html, other]

Title: An extension of Priestley duality to fuzzy topologies and positive MV-algebras

Marby Zuley Bolaños Ortiz, Ciro Russo

Subjects: Category Theory (math.CT); Information Theory (cs.IT); Logic (math.LO)

[100] arXiv:2508.21134 (cross-list from math.CT) [pdf, other]

Title: Generation of Grothendieck topologies, provability and operations on subtoposes

Olivia Caramello, Laurent Lafforgue

Comments: 249 pages - in French

Subjects: Category Theory (math.CT); Algebraic Geometry (math.AG); Logic (math.LO)