A mathematical characterization of interpretation between theories
From MaRDI portal
Publication:1062672
DOI10.1007/BF02429844zbMath0573.03009OpenAlexW2134335743MaRDI QIDQ1062672
Publication date: 1984
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf02429844
Classical first-order logic (03B10) Ultraproducts and related constructions (03C20) Basic properties of first-order languages and structures (03C07) Relative consistency and interpretations (03F25)
Related Items (4)
The logic of empirical theories revisited ⋮ MORITA EQUIVALENCE ⋮ Combining algebraizable logics ⋮ Logical semantics as an empirical science
Cites Work
This page was built for publication: A mathematical characterization of interpretation between theories