Properties Preserved under Definitional Equivalence and Interpretations

DOI10.1002/malq.19780243102zbMath0408.03028OpenAlexW2106291991MaRDI QIDQ4194943

Charles C. Pinter

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

zbMATH Keywords

AmalgamationUniversal AlgebraInterpretationDefinitional EquivalenceForcing CompanionsModel-CompletenessPreserved Properties

Mathematics Subject Classification ID

Properties of classes of models (03C52) Algebraic structures (08A99)

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