Wheeler, William H. (2023), 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", arXiv:2309.07151
