A SYNTACTIC CHARACTERIZATION OF MORITA EQUIVALENCE

DOI10.1017/jsl.2017.59zbMath1422.03135arXiv1507.02302OpenAlexW2962762829MaRDI QIDQ4600451

Dimitris Tsementzis

Publication date: 11 January 2018

Published in: The 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

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

Related Items

Theoretical equivalence in classical mechanics and its relationship to duality, Boolean algebras, Morita invariance and the algebraic K-theory of Lawvere theories, Valuative Lattices and Spectra, Type space functors and interpretations in positive logic, Théories géométriques pour l’algèbre des nombres réels

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Atomic toposes and countable categoricity
• Stone duality for first order logic
• Sheaves in geometry and logic: a first introduction to topos theory
• First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
• Classifying toposes for first-order theories
• First-order logical duality
• Lattices of theories
• Duality and definability in first order logic
• Universal models and definability
• Modular correspondence between dependent type theories and categories including pretopoi and topoi
• The Classifying Topos of a Continuous Groupoid. I
• A lattice of interpretability types of theories
• Properties Preserved under Definitional Equivalence and Interpretations
• Propositions as [Types]
• The generalised type-theoretic interpretation of constructive set theory
• MORITA EQUIVALENCE
• Type theories, toposes and constructive set theory: Predicative aspects of AST