2 papers
math.RA2026
Lie's Third Theorem for Lie -Algebras
Christopher L. Rogers, Jesse Wolfson
We introduce the theory of local minimal models for Kan simplicial manifolds, which provide the appropriate generalization of minimal Kan simplicial sets to geometric contexts. We…
math.HO2026
Correctness, Artificial Intelligence, and the Epistemic Value of Mathematical Proof
James Owen Weatherall, Jesse Wolfson
We argue that it is neither necessary nor sufficient for a mathematical proof to have epistemic value that it be "correct", in the sense of formalizable in a formal proof system. W…