A SYNTACTIC CHARACTERIZATION OF MORITA EQUIVALENCE

DOI10.1017/JSL.2017.59MaRDI QIDQ4600451zbMATH OpenOpenAlexFDO

Authors Dimitris Tsementzis

Publication date 11 January 2018

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1507.02302

zbMATH Keywords

Morita equivalencecommon definitional extensionclassifying toposes

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Categorical logic, topoi (03G30) Topoi (18B25) Properties of classes of models (03C52)

Abstract: 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.

Recommendations

• scientific article; zbMATH DE number 1890775
• Characterization of Morita equivalence pairs of quantales
• STRONG MORITA EQUIVALENCE AND THE SYNTHESIS THEOREM
• scientific article; zbMATH DE number 4065217
• scientific article; zbMATH DE number 2086607
• Inverse morphic equivalence on languages
• scientific article; zbMATH DE number 3928997
• Syntactic homomorphisms
• Structural equivalence and ET0L grammars

Cites work

• scientific article; zbMATH DE number 4181603 (Why is no real title available?)
• scientific article; zbMATH DE number 4077515 (Why is no real title available?)
• scientific article; zbMATH DE number 1302065 (Why is no real title available?)
• scientific article; zbMATH DE number 1840601 (Why is no real title available?)
• scientific article; zbMATH DE number 2247253 (Why is no real title available?)
• A lattice of interpretability types of theories
• Atomic toposes and countable categoricity
• Classifying toposes for first-order theories
• Duality and definability in first order logic
• First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
• First-order logical duality
• Modular correspondence between dependent type theories and categories including pretopoi and topoi
• Morita equivalence
• Properties Preserved under Definitional Equivalence and Interpretations
• Propositions as [Types]
• Sheaves in geometry and logic: a first introduction to topos theory
• Stone duality for first order logic
• Syntactic characterizations of properties of classifying toposes
• The Classifying Topos of a Continuous Groupoid. I
• The generalised type-theoretic interpretation of constructive set theory
• Type theories, toposes and constructive set theory: Predicative aspects of AST
• Universal models and definability

Cited in

(8)

• Valuative Lattices and Spectra
• On Morita equivalence and interpretability
• How to count structure
• Theoretical equivalence in classical mechanics and its relationship to duality
• Morita equivalence
• Type space functors and interpretations in positive logic
• Boolean algebras, Morita invariance and the algebraic K-theory of Lawvere theories
• Geometric theories for the algebra of real numbers

This page was built for publication: A SYNTACTIC CHARACTERIZATION OF MORITA EQUIVALENCE

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4600451)