2 papers
math.LO2023
Andrew Wiles' Proof of Fermat's Last Theorem, As Expected, Does Not Require a Large Cardinal Axiom. A Discussion of Colin McLarty's "The Large Structures of Grothendieck Founded on Finite-Order Arithmetic"
William H. Wheeler
Andrew Wiles' proof of Fermat's Last Theorem, with an assist from Richard Taylor, focused renewed attention on the foundational question of whether the use of Grothendieck's Univer…
math.CT2023
Unlimited Category Theories for Mathematics are Inconsistent: A Discussion of Michael Ernst's "The Prospects for Unlimited Category Theory: Doing What Remains to be Done"
William H. Wheeler
Proponents of category theory long hoped to escape the limits of set theory by founding mathematics on an unlimited category theory in which large categories, such as the category…