[FOM] Weaker foundations for FLT

[praatika@mappi.helsinki.fi]

Quoting Harvey Friedman <friedman at math.ohio-state.edu>:

> Of course, all proposed conservative
> extensions, including Feferman's, are not going to support seriously
> impredicative definitions.
> 
> I assume that in the proof of FLT, as done now, one can spot seriously
> impredicative definitions? This would render the plan you have in mind
> impossible.


Yes, that would indeed make it impossible. Does anyone know this?

Best, Panu


Panu Raatikainen
Ph.D., Academy Research Fellow,
Docent in Theoretical Philosophy
Department of Philosophy 
University of Helsinki
Finland

Visiting Fellow 
Institute of Philosophy
School of Advanced Studies 
University of London

E-mail: panu.raatikainen at helsinki.fi
 
http://www.helsinki.fi/collegium/eng/Raatikainen/raatikainen.htm