In May of last year, Tim Chow asked about a manuscript of Angus MacIntyre sketching a proof of FLT in PA: http://cs.nyu.edu/pipermail/fom/2009-May/013759.html Apparently no one responded. What is the current status of the claim that FLT can be proved in PA? Are there any publicly available references? Thanks, Finnur Larusson