Logic

Authors and titles for recent submissions

• Fri, 18 Apr 2025
• Thu, 17 Apr 2025
• Wed, 16 Apr 2025
• Tue, 15 Apr 2025
• Mon, 14 Apr 2025

See today's new changes

Mon, 14 Apr 2025 (continued, showing last 2 of 8 entries )

[20] arXiv:2504.08326 (cross-list from math.AG) [pdf, html, other]

Title: Chatelet's Theorem in Synthetic Algebraic Geometry

Thierry Coquand, Hugo Moeneclaey

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

[21] arXiv:2504.08075 (cross-list from cs.LO) [pdf, other]

Title: Programs as Singularities

Daniel Murfet, Will Troiani

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