If you’d like to read a couple of papers by McLarty on this subject, check out the following:

“WHAT DOES IT TAKE TO PROVE FERMAT’S LAST THEOREM?” ( http://www.cwru.edu/artsci/phil/Proving_FLT.pdf )

“A FINITE ORDER ARITHMETIC FOUNDATION FOR COHOMOLOGY” ( http://arxiv.org/pdf/1102.1773.pdf )

I believe that the second paper is where the result that McLarty presented is proven, since its title is very similar to the title of the talk that he gave at the Joint Mathematics Meetings.

]]>