Recursive inseparability of the sets of identically valid and finitely refutable formulas of some elementary theories of varieties

被引：1

作者：

Ursu, VI

机构：

来源：

关键词：

Unary Operation; Elementary Theory; Free Generator; Moufang Loop; Object Symbol;

D O I：

10.1007/BF02674114

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

[No abstract available]

引用

页码：578 / 591

页数：14

共 5 条

[1] Recursive inseparability of the sets of identically valid and finitely refutable formulas of some elementary theories of varieties
V. I. Ursu
Siberian Mathematical Journal, 2000, 41 : 578 - 591
[2] EFFECTIVE INSEPARABILITY OF A SET OF IDENTICALLY TRUE FORMULAE FROM A SET OF FINITELY REFUTABLE ONES IN SOME ELEMENTARY THEORIES
MALTSEV, AI
DOKLADY AKADEMII NAUK SSSR, 1961, 139 (04): : 802 - &
[3] RECURSIVE INSEPARABILITY IN ELEMENTARY THEORIES
HECKER, HD
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1971, 17 (05): : 443 - &
[4] NUMBER OF ELEMENTARY THEORIES OF SOME HIERARCHIES OF SETS
TOMASIK, J
BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1971, 19 (04): : 271 - &
[5] RECURSIVE P-ADIC NUMBERS AND ELEMENTARY THEORIES OF FINITELY GENERATED PRO-P-GROUPS
MYASNIKOV, AG
REMESLENNIKOV, VN
MATHEMATICS OF THE USSR-IZVESTIYA, 1987, 51 (03): : 577 - 597