[FOM] slip in previous post

Randall Holmes holmes at diamond.boisestate.edu
Tue May 25 16:34:38 EDT 2004

Dear FOMers,

Of course one needs a _one-to-one_ relation with range properly included
in its domain to be able to define a model of arithmetic in second-order
logic; I was being oblique in an attempt to speak the language of properties
and relations as much as possible instead of that of sets, and wrote
the wrong thing (I think that I only said that it was a function rather
than an injection)...

--Randall Holmes

More information about the FOM mailing list