×

On spectra, and the negative solution of the decision problem for identities having a finite nontrivial model. (English) Zbl 0316.02052


MSC:

03B25 Decidability of theories and sets of sentences
03C68 Other classical first-order model theory
08Axx Algebraic structures
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Contributions to mathematical logic pp 275– (1968)
[2] Algebra i Logika (2) 1 pp 5– (1963)
[3] Notices of the American Mathematical Society 14 pp 697– (1967)
[4] Proceedings of the American Mathematical Society 18 pp 729– (1967) · doi:10.1090/S0002-9939-1967-0222003-3
[5] Universal algebra (1968)
[6] DOI: 10.1002/malq.19670131304 · Zbl 0199.32703 · doi:10.1002/malq.19670131304
[7] Russian Mathematical Surveys 20 (1965)
[8] Algebra Universalis 1 pp 386– (1972)
[9] Equational spectra 30 pp 264– (1965)
[10] Models and ultraproducts: An introduction (1969)
[11] Theory of recursive functions and effective comput ability (1967)
[12] DOI: 10.1007/BF01578706 · Zbl 0203.31201 · doi:10.1007/BF01578706
[13] DOI: 10.1305/ndjfl/1093956081 · Zbl 0197.28201 · doi:10.1305/ndjfl/1093956081
[14] DOI: 10.1090/S0002-9939-1973-0325498-2 · doi:10.1090/S0002-9939-1973-0325498-2
[15] Publicationes Mathematicae (Debrecen)
[16] Doklady Academii Nauk SSSR 196 pp 520– (1971)
[17] Notices of the American Mathematical Society 20 pp A– (1973)
[18] Mathematica Scandinavica 27 pp 24– (1970) · Zbl 0307.08001 · doi:10.7146/math.scand.a-10984
[19] Cylindric algebras: I (1971)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.