On a Form of Equational Interpolation Property
On a Form of Equational Interpolation Property
复制标题
关于方程插值性质的一种形式
DOI：
10.1007/978-1-4899-0548-2_2
复制
发表时间：
1985
期刊：
影响因子：
--
通讯作者：
A. Wronski
中科院分区：
文献类型：
--
作者：
A. Wronski
在本文中，我们通过类似于前原（1961）的克雷格插值性质版本的证明论性质条件来刻画具有合并性质和同馀扩张性质的簇。
In this paper we characterize varieties with the amalgamation property and the congruence extension property by means of a condition of proof-theoretic nature resembling a version of Craig’s interpolation property due to Maehara (1961).