V. I. Ursu, “Recursive inseparability of the sets of identically valid and finitely refutable formulas of some elementary theories of varietie”, Sibirsk. Mat. Zh., 2000, Volume 41, Number 3,Pages <nobr>696

JOURNALS // Sibirskii Matematicheskii Zhurnal // Archive

Sibirsk. Mat. Zh., 2000 Volume 41, Number 3, Pages 696–711 (Mi smj1561)

This article is cited in 1 paper

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

V. I. Ursu^ab

^a Chishinau Technical University
^b Institute of Mathematics "Simion Stoilow" of the Romanian Academy

UDC: 519.48

Received: 20.09.1998

English version: Siberian Mathematical Journal, 2000, 41:3, 578–591

Bibliographic databases: