MORITA EQUIVALENCE

DOI10.1017/S1755020316000186zbMath1397.03017arXiv1506.04675OpenAlexW3037599641MaRDI QIDQ5737954

Hans Halvorson, Thomas William Barrett

Publication date: 31 May 2017

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

first-order logicMorita equivalencecategorical equivalencemany-sorted logicdefinitional equivalenceextension of a theory

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Classical first-order logic (03B10) Foundations of classical theories (including reverse mathematics) (03B30) Basic properties of first-order languages and structures (03C07)

Related Items (18)

Can one design a geometry engine? Can one design a geometry engine? On the (un)decidability of certain affine Euclidean geometries ⋮ Theoretical equivalence in classical mechanics and its relationship to duality ⋮ ON MORITA EQUIVALENCE AND INTERPRETABILITY ⋮ Boolean algebras, Morita invariance and the algebraic K-theory of Lawvere theories ⋮ A SYNTACTIC CHARACTERIZATION OF MORITA EQUIVALENCE ⋮ The cost of closure: logical realism, anti-exceptionalism, and theoretical equivalence ⋮ On Einstein algebras and relativistic spacetimes ⋮ How many varieties of cylindric algebras are there ⋮ Are Newtonian gravitation and geometrized Newtonian gravitation theoretically equivalent? ⋮ From geometry to conceptual relativity ⋮ Type space functors and interpretations in positive logic ⋮ Extending List’s Levels ⋮ Théories géométriques pour l’algèbre des nombres réels ⋮ On the continuity of geometrized Newtonian gravitation and general relativity ⋮ The semantic view of theories and higher-order languages ⋮ Motivating dualities ⋮ On generalization of definitional equivalence to non-disjoint languages ⋮ Why Not Categorical Equivalence?

Cites Work

• On Einstein algebras and relativistic spacetimes
• A mathematical characterization of interpretation between theories
• Synonymous logics
• Morita equivalence of many-sorted algebraic theories
• Die Zulässigkeit der Behandlung mehrsortiger Theorien mittels der üblichen einsortigen Prädikatenlogik
• Newtonian Spacetime Structure in Light of the Equivalence Principle
• On the Structure of Classical Mechanics
• Properties Preserved under Definitional Equivalence and Interpretations
• Classical Mechanics Is Lagrangian; It Is Not Hamiltonian
• Mutual definability does not imply definitional equivalence, a simple example
• Groups, Categories and Duality
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: MORITA EQUIVALENCE