Skip to main content
We gratefully acknowledge support from the Simons Foundation, member institutions, and all contributors. Donate
arXiv logo
Cornell University Logo

Logic

Authors and titles for recent submissions

See today's new changes

Total of 26 entries
Showing up to 50 entries per page: fewer | more | all

Tue, 26 Aug 2025 (continued, showing last 7 of 11 entries )

[5] arXiv:2508.16892 [pdf, html, other]
Title: A Variant Of Chaitin's Omega function
Yuxuan Li, Shuheng Zhang, Xiaoyan Zhang, Xuanheng Zhao
Subjects: Logic (math.LO)
[6] 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)
[7] 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)
[8] 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)
[9] 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)
[10] 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)
[11] 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)

Mon, 25 Aug 2025 (showing 4 of 4 entries )

[12] arXiv:2508.16506 [pdf, html, other]
Title: Separating Maximality Principles
Takehiko Gappo, Andreas Lietz
Comments: 29 pages
Subjects: Logic (math.LO)
[13] arXiv:2508.16415 [pdf, html, other]
Title: Dimension and topology in transserial tame pairs
Nigel Pynn-Coates
Comments: 31 pages
Subjects: Logic (math.LO); Commutative Algebra (math.AC)
[14] arXiv:2508.16038 [pdf, html, other]
Title: Compactness in abelian group theory
Filippo Calderoni, Ava Ostrem
Comments: 8 pages. Comments are welcome
Subjects: Logic (math.LO)
[15] 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)

Fri, 22 Aug 2025 (showing 4 of 4 entries )

[16] arXiv:2508.15597 [pdf, html, other]
Title: Ramsey-like theorems and immunities
Ahmed Mimouni, Ludovic Patey
Comments: 39 pages
Subjects: Logic (math.LO)
[17] arXiv:2508.15518 [pdf, html, other]
Title: Existential completions and Herbrand's theorem
Joshua L. Wrigley
Comments: 27 pages
Subjects: Logic (math.LO); Category Theory (math.CT)
[18] arXiv:2508.15511 [pdf, html, other]
Title: Infinite convex geometries with lower semi-modularity and join semi-distributivity
Adam Mata
Subjects: Logic (math.LO)
[19] arXiv:2508.15362 [pdf, html, other]
Title: Largeness and generalized t-henselianity
Will Johnson
Comments: 17 pages. Addendum to arXiv:2508.10886 [math.LO]
Subjects: Logic (math.LO); Commutative Algebra (math.AC)

Thu, 21 Aug 2025 (showing 4 of 4 entries )

[20] arXiv:2508.14768 [pdf, html, other]
Title: The fractal Goodstein principle
David Fernández-Duque, Andreas Weiermann
Subjects: Logic (math.LO)
[21] arXiv:2508.14758 [pdf, html, other]
Title: Completions of Restricted Complexity I, Weak Arithmetical Theories
Ali Enayat, Mateusz Łełyk, Albert Visser
Subjects: Logic (math.LO)
[22] arXiv:2508.14619 [pdf, html, other]
Title: The Galvin property at $κ^{++}$ and not at $κ^+$
Moti Gitik, Shachar Herpe
Subjects: Logic (math.LO)
[23] 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)

Wed, 20 Aug 2025 (showing 3 of 3 entries )

[24] arXiv:2508.13919 [pdf, html, other]
Title: Generic derivations, differential largeness, and NTP$_2$
Elliot Kaplan, Christoph Kesting
Comments: 7 pages, comments are welcome
Subjects: Logic (math.LO)
[25] arXiv:2508.13334 [pdf, other]
Title: Higher arithmetic on the ordinals
Adrian Ducourtial
Comments: 11 pages. Added proof of monotonicity
Subjects: Logic (math.LO)
[26] 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)
Total of 26 entries
Showing up to 50 entries per page: fewer | more | all