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

Ursu, V.I.. "Recursive inseparability of the sets of identically valid and finitely refutable formulas of some elementary theories of varieties.." Siberian Mathematical Journal 41.3 (2000): 696-711 (2000); translation in Sib. Math. J. 41. <http://eudml.org/doc/120719>.

@article{Ursu2000,
author = {Ursu, V.I.},
journal = {Siberian Mathematical Journal},
keywords = {recursive inseparability; loop; ternary rings; finitely axiomatizable class; quasigroups},
language = {eng},
number = {3},
pages = {696-711 (2000); translation in Sib. Math. J. 41},
publisher = {Pleiades Publishing, Tortola, British Virgin Islands; Nauka/Interperiodica, Moscow; Springer},
title = {Recursive inseparability of the sets of identically valid and finitely refutable formulas of some elementary theories of varieties.},
url = {http://eudml.org/doc/120719},
volume = {41},
year = {2000},
}

TY - JOUR
AU - Ursu, V.I.
TI - Recursive inseparability of the sets of identically valid and finitely refutable formulas of some elementary theories of varieties.
JO - Siberian Mathematical Journal
PY - 2000
PB - Pleiades Publishing, Tortola, British Virgin Islands; Nauka/Interperiodica, Moscow; Springer
VL - 41
IS - 3
SP - 696
EP - 711 (2000); translation in Sib. Math. J. 41
LA - eng
KW - recursive inseparability; loop; ternary rings; finitely axiomatizable class; quasigroups
UR - http://eudml.org/doc/120719
ER -