[FOM] 510: More Undefinable Elements 2
urquhart at cs.toronto.edu
Mon Dec 3 09:42:32 EST 2012
The first exercise in Hodges's 'Model Theory' is concerned with
On Sun, 2 Dec 2012, T.Forster at dpmms.cam.ac.uk wrote:
> Harvey, Do you know Wilfrid Hodges' model-theoretic analysis of Aquinas'
> theory of the Trinity? All three members of the Trinity realise the same
> 1-type, but they realise distinct 2-types. There is a binary relation of
> `procedes from'. I don't think he ever published it, but it might be worth
> chasing up in the present context. It might further soften the hearts of the
> Templeton people towards logic!
More information about the FOM