Riv. Mat. Univ. Parma (5) 6 (1997)


Quasi-isomorfismi fra teorie nei linguaggi con simboli funzionali

Received: June 4, 1997.
Classificazione AMS 03C07

We give a weaker concept of "isomorphism between theories", since the latter is too strong for applications; the resulting concept is that of quasi-isomorphism, which differs from the former in that the defining conditions are requested only for sentences and not for arbitrary formulae.

Home Riv.Mat.Univ.Parma