Uniform interpolation and compact congruences

DOI10.1016/J.APAL.2017.05.001zbMATH Open1422.03061arXiv1904.06091OpenAlexW2620258679MaRDI QIDQ2363208FDOQ2363208

Constantine Tsinakis, Samuel J. van Gool, George Metcalfe

Publication date: 13 July 2017

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Abstract: Uniform interpolation properties are defined for equational consequence in a variety of algebras and related to properties of compact congruences on first the free and then the finitely presented algebras of the variety. It is also shown, following related results of Ghilardi and Zawadowski, that a combination of these properties provides a sufficient condition for the first-order theory of the variety to admit a model completion.

Full work available at URL: https://arxiv.org/abs/1904.06091

zbMATH Keywords

amalgamationuniform interpolationmodel completionscompact congruences

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Free algebras (08B20) Interpolation, preservation, definability (03C40) Quantifier elimination, model completeness, and related topics (03C10)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Continuous Lattices and Domains
• Introduction to model theory and to the metamathematics of algebra
• Model theory.
• Algebraizable logics
• Amalgamation and interpolation in ordered algebras.
• Craig interpolation for semilinear substructural logics
• Amalgamation through quantifier elimination for varieties of commutative residuated lattices
• Interpolation and the Robinson property for logics not closed under the Boolean operations
• On an interpretation of second order quantification in first order intuitionistic propositional logic
• Amalgamation, congruence-extension, and interpolation properties in algebras
• Sentential logics and Maehara interpolation property
• Para primal varieties: A study of finite axiomatizability and definable principal congruences in locally finite varieties
• Sheaves, games, and model completions. A categorical approach to nonclassical propositional logics
• Amalgamation and interpolation in the category of Heyting algebras
• Varieties with equationally definable principal congruences
• On the structure of varieties with equationally definable principal congruences. II
• Consequence and interpolation in Łukasiewicz logic
• Model completions and r-Heyting categories
• Amalgamation properties and interpolation theorems for equational theories
• Varieties of implicative semilattices
• Strong amalgamation, Beck-Chevalley for equivalence relations and interpolation in algebraic logic

Cited In (11)

• Uniform interpolation and coherence
• Uniform interpolation and the existence of sequent calculi
• Deciding dependence in logic and algebra
• Theorems of Alternatives for Substructural Logics
• Beth definability and the Stone-Weierstrass theorem
• Combined covers and Beth definability
• Modularity results for interpolation, amalgamation and superamalgamation
• Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes)
• An open mapping theorem for finitely copresented Esakia spaces
• The Modelwise Interpolation Property of Semantic Logics
• Combination of uniform interpolants via Beth definability

This page was built for publication: Uniform interpolation and compact congruences

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2363208)