FOM: di Giorgi result cited by Thomas Forster

Randall Holmes holmes at
Wed Mar 4 10:58:39 EST 1998

The result cited by Forster is not directly applicable to my outline
of a motivation for NFU, though it is suggestive; the maps have to
satisfy an additional condition for the cited result about stratified
sentences to hold, which such a map derived from a model of NFU will
not satisfy (there might be a way to weaken this condition which would
preserve the result; I want to think about this).

					--Randall Holmes

More information about the FOM mailing list