[FOM] Fwd: Fw: formalism freeness

[Martin Davis]

---------- Forwarded message ----------
From: Kennedy, Juliette <juliette.kennedy at helsinki.fi>
Sent: Monday, April 25, 2016 9:13 AM
To: Foundations of Mathematics
Subject: Re: [FOM] formalism freeness

Hi Harvey,

Thanks for your input! I use the term "formalism freeness" in order to
refer to something more general than persistence under a change of
formalism.

All the best,
Juliette

Department of Mathematics and Statistics
P.O. Box 68 (Gustaf Hällströmin katu 2b)
FI-00014 University of Helsinki, Finland
tel. (+358-9)-191-51446, fax (+358-9)-191-51400
mobile: +358-50-371-4576

www.math.helsinki.fi/logic/people/juliette.kennedy/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20160425/91b0ea36/attachment.html>