Amalgamation, interpolation, and implicit definability in varieties of algebras

被引:1
作者
Maksimova, L. L. [1 ]
机构
[1] Russian Acad Sci, Sobolev Inst Math, Siberian Branch, Novosibirsk 630090, Russia
基金
俄罗斯基础研究基金会;
关键词
LOGICS; PROPERTY; LATTICES;
D O I
10.1134/S0081543812070036
中图分类号
O29 [应用数学];
学科分类号
070104 ;
摘要
[No abstract available]
引用
收藏
页码:S66 / S90
页数:25
相关论文
共 44 条
[1]  
Andreka H., 2001, Handbook of Philosophical Logic, V2, P133
[2]  
[Anonymous], 1965, Theory of Models
[3]  
[Anonymous], 1957, J SYMBOLIC LOGIC
[4]  
Bacsich Paul D., 1975, Algebra Universalis, V5, P45
[5]  
BARWISE, 1985, MODEL THEORETIC LOGI
[6]  
Beth E. W., 1953, Indagationes Mathematicae (Proceedings), V15, P330
[7]  
Czelakowski J, 1999, LECT NOTES PURE APPL, V203, P187
[8]  
Gabbay D. M., 2005, Interpolation and definability. Modal and intuitionistic logics, V46
[9]   STRUCTURE OF PSEUDOCOMPLEMENTED DISTRIBUTIVE LATTICES .2. CONGRUENCE EXTENSION AND AMALGAMATION [J].
GRATZER, G ;
LAKSER, H .
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1971, 156 (MAY) :343-&
[10]  
Gratzer G., 1978, General lattice theory