FOM: Intuitionism, Godel

Lou van den Dries vdries at
Tue Mar 10 12:08:18 EST 1998

Faltings proof *does* provide (with a bit of extra work) a bound on the
number of exceptions (as does Roth's proof of his theorem), although not
a bound on the size of the exceptions. (I mean a bound effective in the
data). -Lou van den Dries-

More information about the FOM mailing list