[FOM] Quine's logic

[Thomas Forster]

   Am I correct in my belief that nowhere in Quine's writings does
he write about the Interpolation Lemma or the Omitting Types Theorem?

     tf



URL:  www.dpmms.cam.ac.uk/~tf; DPMMS ph: +44-1223-337981;
mobile +44-7887-701-562.