Recursive inseparability of the sets of identically valid and finitely refutable formulas of some elementary theories of varieties
From MaRDI portal
Publication:1586995
DOI10.1007/BF02674114zbMath0953.03054OpenAlexW2083806371MaRDI QIDQ1586995
Publication date: 21 November 2000
Published in: Siberian Mathematical Journal (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/120719
Undecidability and degrees of sets of sentences (03D35) Loops, quasigroups (20N05) Varieties (08B99)
Related Items
Cites Work