Uniform interpolation and compact congruences
type: Item
instance of: scholarly article
title: Uniform interpolation and compact congruences
zbMATH Open document ID: 1422.03061
author: Samuel J. van Gool
author: George Metcalfe
author: Constantine Tsinakis
published in: Annals of Pure and Applied Logic
publication date: 2017-07-13T00:00:00Z
full work available at URL: https://arxiv.org/abs/1904.06091
full work available at URL: GMT17final.pdf
Mathematics Subject Classification ID: 03C05
Mathematics Subject Classification ID: 03C10
Mathematics Subject Classification ID: 03C40
Mathematics Subject Classification ID: 08B20
zbMATH DE Number: 6744694
zbMATH Keywords: uniform interpolation
zbMATH Keywords: compact congruences
zbMATH Keywords: amalgamation
zbMATH Keywords: model completions
MaRDI profile type: MaRDI publication profile
OpenAlex ID: W2620258679
arXiv ID: 1904.06091
cites work: Q4039742
cites work: Amalgamation properties and interpolation theorems for equational theories
cites work: Q4083730
cites work: On the structure of varieties with equationally definable principal congruences. II
cites work: Algebraizable logics
cites work: Q3934450
cites work: Model theory.
cites work: Q3910579
cites work: Q3956998
cites work: Q4249028
cites work: Sentential logics and Maehara interpolation property
cites work: Q5411410
cites work: Q4530231
cites work: Strong amalgamation, Beck-Chevalley for equivalence relations and interpolation in algebraic logic
cites work: Sheaves, games, and model completions. A categorical approach to nonclassical propositional logics
cites work: Model completions and r-Heyting categories
cites work: Continuous Lattices and Domains
cites work: Q5541360
cites work: Varieties with equationally definable principal congruences
cites work: Q4187817
cites work: Amalgamation through quantifier elimination for varieties of commutative residuated lattices
cites work: Craig interpolation for semilinear substructural logics
cites work: Amalgamation and interpolation in ordered algebras.
cites work: Para primal varieties: A study of finite axiomatizability and definable principal congruences in locally finite varieties
cites work: Consequence and interpolation in Łukasiewicz logic
cites work: Q5555713
cites work: Varieties of implicative semilattices
cites work: Interpolation and the Robinson property for logics not closed under the Boolean operations
cites work: Amalgamation, congruence-extension, and interpolation properties in algebras
cites work: Amalgamation and interpolation in the category of Heyting algebras
cites work: On an interpretation of second order quantification in first order intuitionistic propositional logic
cites work: Introduction to model theory and to the metamathematics of algebra
cites work: Q4858090
cites work: Q3760526
DOI: 10.1016/J.APAL.2017.05.001
description: scientific article