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 条

[11] UNDECIDABILITY OF BROUWERIAN SEMILATTICES [J].

IDZIAK, K .

[12]

IDZIAK K, 1989, ALGEBRA UNIV, V26, P33

[13]

IDZIAK K, 1988, IN PRESS J SYMBOLIC, V53, P729

[14]

IDZIAK K, 1988, ALGEBRA UNIV, V25, P365

[15]

MCKENZIE R, 1986, UNPUB STRUCTURE DECI

[16]

Rabin M.O., 1977, HDB MATH LOGIC, P595

[17]

RUBIN M, 1976, ANN SCI U CLERMON 60, V13, P129

[18]

SZMIELEW W, 1954, FUND MATH, V41, P203

[19]

TAITSLIN MA, 1962, SIB MAT ZH, V3, P308

[20]

TARSKI A, 1949, B AM MATH SOC, V55, P64