McKenzie, Ralph On spectra, and the negative solution of the decision problem for identities having a finite nontrivial model. (English) Zbl 0316.02052 J. Symb. Log. 40, 186-196 (1975). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 ReviewCited in 31 Documents MSC: 03B25 Decidability of theories and sets of sentences 03C68 Other classical first-order model theory 08Axx Algebraic structures PDFBibTeX XMLCite \textit{R. McKenzie}, J. Symb. Log. 40, 186--196 (1975; Zbl 0316.02052) 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.