VARIETIES WITH DECIDABLE FINITE-ALGEBRAS .1. LINEARITY

被引:6
作者
IDZIAK, PM [1 ]
机构
[1] JAGIELLONIAN UNIV,DEPT LOG,PL-31007 CRACOW,POLAND
关键词
D O I
10.1007/BF01236870
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
引用
收藏
页码:234 / 246
页数:13
相关论文
共 27 条
[1]  
Burris S., 1981, COURSE UNIVERSAL ALG
[2]  
BURRIS S, 1981, MEM AM MATH SOC, V246
[3]   FINITE INSEPARABILITY OF SOME THEORIES OF CYLINDRIFICATION ALGEBRAS [J].
COMER, SD .
JOURNAL OF SYMBOLIC LOGIC, 1969, 34 (02) :171-&
[4]  
COMER SD, 1976, BOL SOC MATH MEXICAN, V19, P183
[5]  
Ehrenfeucht A., 1959, NOT AM MATH SOC, V6, P268
[6]  
Eklof P.C., 1972, ANN MATH LOGIC, V4, P115, DOI DOI 10.1016/0003-4843(72)90013-7
[7]  
ERSHOV JL, 1967, ALGEBRA LOGIKA+, V6, P7
[8]  
ERSHOV YL, 1972, DOKL AKAD NAUK SSSR+, V203, P1240
[9]  
Ershov Yu. L., 1964, ALGEBRA LOGIKA SEMIN, V3, P17
[10]  
Grzegorczyk A., 1951, FUND MATH, V38, P137