A SYNTACTIC CHARACTERIZATION OF MORITA EQUIVALENCE
AbstractWe characterize Morita equivalence of theories in the sense of Johnstone in terms of a new syntactic notion of a common definitional extension developed by Barrett and Halvorson for cartesian, regular, coherent, geometric and first-order theories. This provides a purely syntactic characterization of the relation between two theories that have equivalent categories of models naturally in any Grothendieck topos.
Keyword(s):
Keyword(s):
1987 ◽
Vol 54
(2-3)
◽
pp. 199-214
◽
1980 ◽
Vol 38
(1)
◽
pp. 118-138
◽
Keyword(s):
2019 ◽
Vol 16
(32)
◽
pp. 633-646
Keyword(s):