FILIPPO DOTTI

La categoria delle teorie e delle interpretazioni

Pages 91-102
Received: 3 June 1996  
AMS Classification : 03C07

Abstract In [1] a suitable category $\mathbb{T}$eor of first order theories has been definied for languages without function symbols. The morphisms are still the equivalence classes of interpretations; but this new setting requires a revised concept of "interpretation" between theories. .