Bulletin of Symbolic Logic

What does it take to prove Fermat's Last Theorem? Grothendieck and the logic of number theory

Colin McLarty

Full-text: Access denied (no subscription detected)

We're sorry, but we are unable to provide you with the full text of this article because we are not able to identify you as a subscriber. If you have a personal subscription to this journal, then please login. If you are already logged in, then you may need to update your profile to register your subscription. Read more about accessing full-text

Abstract

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.

Article information

Source
Bull. Symbolic Logic, Volume 16, Issue 3 (2010), 359-377.

Dates
First available in Project Euclid: 5 October 2010

Permanent link to this document
https://projecteuclid.org/euclid.bsl/1286284558

Digital Object Identifier
doi:10.2178/bsl/1286284558

Mathematical Reviews number (MathSciNet)
MR2731249

Zentralblatt MATH identifier
1210.03029

Citation

McLarty, Colin. What does it take to prove Fermat's Last Theorem? Grothendieck and the logic of number theory. Bull. Symbolic Logic 16 (2010), no. 3, 359--377. doi:10.2178/bsl/1286284558. https://projecteuclid.org/euclid.bsl/1286284558


Export citation