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

共 10 条

[1]

BELOUSOV VD, 1972, FUNDAMENTALS THEORY

[2]

Bruck R.H., 1958, SURVEY BINARY SYSTEM

[3]

ERSHOV YL, 1972, DOKL AKAD NAUK SSSR+, V203, P1240

[4]

Ershov Yu. L., 1965, USP MAT NAUK, V20, P37

[5]

MALCEV AI, 1960, MAT SBORNIK, V50, P257

[6]

MALCEV AI, 1962, DOKL AKAD NAUK SSSR, V138, P771

[7]

MALCEV AI, 1961, DOKL AKAD NAUK SSSR, V139, P802

[8]

Szmielew W, 1955, Fundamenta Mathematica, P203, DOI 10.4064/fm-41-2-203-271

[9]

ZAMYATIN AP, 1978, ALGEBRA LOGIKA, V17, P20

[10]

[No title captured]