A mathematical characterization of interpretation between theories

DOI10.1007/BF02429844zbMath0573.03009OpenAlexW2134335743MaRDI QIDQ1062672

B. George

Publication date: 1984

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02429844

zbMATH Keywords

ultraproductsmodel classesreduction functorrelative interpretability between first-order theories

Mathematics Subject Classification ID

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

• Ultraproducts in the theory of models
• Undecidable theories
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A mathematical characterization of interpretation between theories