There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.
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.