The number of non-isomorphic denumerable models of certain universal Horn classes. (English) Zbl 0497.03026
References:
| [1] | Akataev, A. A. OnU m,n -varietes. Algebra and Logic, vol.9 (1970) pp. 77–82. · Zbl 0224.08002 · doi:10.1007/BF02218976 |
| [2] | Akataev, A. A., andSmirnov, D. M. Lattices of submanifolds in manifolds of algebras. Algebra and Logic, vol.7 (1968), pp. 2–13. · Zbl 0201.00802 · doi:10.1007/BF02218747 |
| [3] | Baldwin, J. T., andGivant, S. R. A note on model complete universal Horn classes. (To appear). |
| [4] | Baldwin, J. T., andLachlan, A. H. On universal Horn classes categorical in some infinite power. Algebra Universalis, vol.3 (1973), pp. 98–111. · Zbl 0272.02078 · doi:10.1007/BF02945108 |
| [5] | Chang, C. C., andKeisler, H. J. Model Theory, North-Holland Publishing Co., Amsterdam, 1973, xii+550 pp. |
| [6] | Givant, S. R. Universal Horn classes categorical or free in power. Annals of Math. Logic, vol.15 (1978), pp. 1–53. · Zbl 0401.03009 · doi:10.1016/0003-4843(78)90025-6 |
| [7] | –The number of non-isomorphic countable models of certain universal Horn classes. Notices Amer. Math. Soc., vol.25 (1978), p. A-624. |
| [8] | –A representation theorem for universal Horn classes categorical in power. Annals of Math. Logic, vol.17 (1979), pp. 91–116. · Zbl 0436.03020 · doi:10.1016/0003-4843(79)90022-6 |
| [9] | Givant, S. R. Union decompositions and universal classes categorical in power. Algebra Universalis, vol.9 (1979), (To appear). · Zbl 0436.03020 |
| [10] | Jónsson, B., andTarski, A. On two properties of free algebras. Math. Scand., vol.9 (1961), pp. 95–101. (Abstract:Two general theorems concerning free algebras. Bull. Amer. Math. Soc., vol.62 (1956), p. 554. |
| [11] | Lachlan, A. H. Theories with a finite number of models in an uncountable power are categorical. Pacific J. Math., vol.61 (1975), pp. 465–481. · Zbl 0338.02028 |
| [12] | Lindström, P. On model completeness, Theoria, vol.30 (1965), pp. 183–196. · doi:10.1111/j.1755-2567.1964.tb01088.x |
| [13] | Mal’cev, A. I. Algebraic Systems, Springer-Verlag, Berlin, 1973, xii+317 pp. |
| [14] | Morley, M. Categoricity in power. Trans. Amer. Math. Soc., vol.114 (1965), pp. 514–538. · Zbl 0151.01101 · doi:10.1090/S0002-9947-1965-0175782-0 |
| [15] | Smirnov, D. M. Lattices of varieties and free algebras. Siberian Math. J., vol.10 (1969), pp. 847–858. · Zbl 0194.01403 · doi:10.1007/BF00971660 |
| [16] | –Cantor algebras with single generator, I. Algebra and Logic, vol.10 (1972), pp. 40–49. · Zbl 0234.08006 · doi:10.1007/BF02217801 |
| [17] | Swierczkowski S. On isomorphic free algebras, Fund. Math., vol.50 (1961), pp. 35–44. · Zbl 0104.25601 |
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.
