Nonconstructive negative algebras with finiteness conditions
From MaRDI portal
Publication:2366350
DOI10.1007/BF00971036zbMath0834.03011MaRDI QIDQ2366350
Publication date: 29 June 1993
Published in: Siberian Mathematical Journal (Search for Journal in Brave)
congruence lattices of negative algebras; constructivizable algebra; recursive and negative structures
03C57: Computable structure theory, computable model theory
03D45: Theory of numerations, effectively presented structures
Cites Work