A SYNTACTIC CHARACTERIZATION OF MORITA EQUIVALENCE.

We 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...

Descripción completa

Detalles Bibliográficos
Publicado en:	Journal of Symbolic Logic Vol. 82; no. 4; pp. 1181 - 1199
Autor principal:	TSEMENTZIS, DIMITRIS
Formato:	Artículo
Publicado:	Cambridge University Press Dec2017
Materias:	Topoi (Mathematics) Mathematical category theory Model theory Algorithmic randomness Applied mathematics Algebraic logic
Acceso en línea:	Ver este registro en EBSCOhost

Descripción
Sumario:	We 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.