Properties Preserved under Definitional Equivalence and Interpretations
From MaRDI portal
Publication:4194943
DOI10.1002/malq.19780243102zbMath0408.03028MaRDI 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
Amalgamation; Universal Algebra; Interpretation; Definitional Equivalence; Forcing Companions; Model-Completeness; Preserved Properties
Related Items
A SYNTACTIC CHARACTERIZATION OF MORITA EQUIVALENCE, A New Perspective on the Mereotopology of RCC8., DISTANCES BETWEEN FORMAL THEORIES, MORITA EQUIVALENCE, Synonymous theories and knowledge representations in answer set programming, The Thomsen-Bachmann correspondence in metric geometry. I, From geometry to conceptual relativity, Quine's conjecture on many-sorted logic, On generalization of definitional equivalence to non-disjoint languages, Glymour and Quine on theoretical equivalence, Axiomatizing geometric constructions, First-order combinatorics and model-theoretical properties that can be distinct for mutually interpretable theories