Properties Preserved under Definitional Equivalence and Interpretations
From MaRDI portal
Publication:4194943
DOI10.1002/malq.19780243102zbMath0408.03028OpenAlexW2106291991MaRDI QIDQ4194943
Publication date: 1978
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19780243102
AmalgamationUniversal AlgebraInterpretationDefinitional EquivalenceForcing CompanionsModel-CompletenessPreserved Properties
Related Items (12)
Glymour and Quine on theoretical equivalence ⋮ Synonymous theories and knowledge representations in answer set programming ⋮ First-order combinatorics and model-theoretical properties that can be distinct for mutually interpretable theories ⋮ A SYNTACTIC CHARACTERIZATION OF MORITA EQUIVALENCE ⋮ DISTANCES BETWEEN FORMAL THEORIES ⋮ From geometry to conceptual relativity ⋮ Quine's conjecture on many-sorted logic ⋮ The Thomsen-Bachmann correspondence in metric geometry. I ⋮ Axiomatizing geometric constructions ⋮ MORITA EQUIVALENCE ⋮ On generalization of definitional equivalence to non-disjoint languages ⋮ A New Perspective on the Mereotopology of RCC8.
This page was built for publication: Properties Preserved under Definitional Equivalence and Interpretations