What does it take to prove Fermat's Last Theorem? Grothendieck and the logic of number theory
This paper explores the set theoretic assumptions used in the current published proof of Fermat's Last Theorem, how these assumptions figure in the methods Wiles uses, and the currently known prospects for a proof using weaker assumptions.
Permanent link to this document: http://projecteuclid.org/euclid.bsl/1286284558
Digital Object Identifier: doi:10.2178/bsl/1286284558
Zentralblatt MATH identifier: 05806076
Mathematical Reviews number (MathSciNet): MR2731249