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

Siberian Mathematical Journal (2000)

- Volume: 41, Issue: 3, page 696-711 (2000); translation in Sib. Math. J. 41
- ISSN: 0037-4474

## Access Full Article

top## How to cite

topUrsu, 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 -

## NotesEmbed ?

topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.