[FOM] finite axiomatisation
T.Forster at dpmms.cam.ac.uk
Sun Aug 17 22:29:03 EDT 2008
Can anyone on this list state - and cite! - a theorem to the effect that
to any recursively axiomatisable theory $T$ in a language $L$ there is a
finitely axiomatisable theory $T'$ in a suitable language $L'$ with $T'$
equivalent to $T'$ in some very strong sense. Somebody must have proved
a rigorous version of this, and I am hoping that listmembers will know
who and how.
DPMMS ph: +44-1223-337981;
mobile in UK +44-7887-701-562;
mobile in US: +1-412-818-1316;
mobile in NZ +64-210580093.
More information about the FOM