This is a preview of subscription content, log in via an institution to check access.
References
S. S. Goncharov, “Data models and description languages for them,” Vychisl. Sistemy, No. 107, 52–70 (1985).
S. Kamin, “Some definitions for algebraic data type specifications,” SIGPLAN Notices,14, No. 3, 28–37 (1979).
A. I. Mal'tsev, “Positive and negative enumerations,” Dokl. Akad. Nauk SSSR,160, No. 2, 278–280 (1965).
Yu. L. Ershov, Problems of Decidability and Constructive Models [in Russian], Nauka, Moscow (1980).
A. I. Mal'tsev, “Constructive algebras. I,” Uspekhi. Mat. Nauk,16, No. 3, 3–60 (1961).
W. Baur, “Rekursive Algebren mit Kettenbedingungen,” Z. Math. Logik Grundlag. Math.,20, No. 1, 37–48 (1974).
N. Kh. Kasymov, “Positive algebras with congruences of finite index,” Algebra i Logika,30, No. 3, 293–305 (1991).
Additional information
Novosibirsk. Translated fromSibirskiî Matematicheskiî Zhurnal, Vol. 33, No. 6, pp. 195–198, November–December, 1992.
Translated by A. Z. Anan'in
Rights and permissions
About this article
Cite this article
Kasymov, N.K. Nonconstructive negative algebras with finiteness conditions. Sib Math J 33, 1126–1128 (1992). https://doi.org/10.1007/BF00971036
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00971036