×
Taylor, Walter

The fine spectrum of a variety. (English) Zbl 0336.08004

Algebra Univers. 5, 263-303 (1975).
Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page
scan of Zbl 0336.08004

Cited in 37 Documents

MSC:

08B99 Varieties
Cite Review PDF
Full Text: DOI

References:

[1] A. I. Abakumov, F. A. Palyutin, M. A. Taîtslin, and Yu. E. Shishmarev,Categorical quasivarieties, Algebra i Logika11 (1972), 3–38.
[2] I. Sh. Aliev,On the minimal variety of a symmetric algebra, Algebra i Logika5 (#6) (1966), 5–14.
[3] A. K. Austin,A note on models of identities, Proc. Amer. Math. Soc.16 (1965), 522–523. · Zbl 0137.00802 · doi:10.1090/S0002-9939-1965-0174649-7
[4] J. T. Baldwin, and A. H. Lachlan,On strongly minimal sets, J. Symbolic Logic36 (1971), 79–96. · Zbl 0217.30402 · doi:10.2307/2271517
[5] J. T. Baldwin and A. H. Lachlan,On universal Horn classes categorical in some infinite power, Algebra Universalis3 (1973), 98–111. · Zbl 0272.02078 · doi:10.1007/BF02945108
[6] B. Banaschewski,Equational compactness of G-sets, Canad. Math. Bull,17 (1974), 11–18. · Zbl 0294.08003 · doi:10.4153/CMB-1974-003-2
[7] B. Banaschewski and E. Nelson,Varieties of squags (to appear).
[8] J. H. Bennett,On spectra, Ph. D. Thesis, Princeton, 1962 Abstract:J. Symbolic Logic 30 (1965), 264. · Zbl 0139.36201
[9] C. Bernardi,Su alcuni condizioni necessarie per l’indipendenza di due varietà di algebre, Boll. Un. Mat. Ital. (4)6 (1972), 410–421. · Zbl 0263.08007
[10] G. Birkhoff,Lattice theory, Amer Math. Soc. Colloq. Publ. #25, 3rd Ed., Providence, 1967. · Zbl 0153.02501
[11] S. N. Burris,Models in equational theories of unary algebras, Algebra Universalis1 (1971), 386–392. · Zbl 0238.08003 · doi:10.1007/BF02944998
[12] S. Burris,Boolean powers, mimeographed, Waterloo, 1974.
[13] C. C. Chang, B. Jónsson, and A. Tarski,Refinement properties for relational structures, Fund. Math.55 (1964), 249–281. · Zbl 0171.25805
[14] L. M. Chawla and J. E. Maxfield,On the classification and evaluation of some partition functions and their tables, 103–112 in: Lecture Notes in Mathematics #251, Springer-Verlag, Berlin, 1972. · Zbl 0228.10013
[15] A. H. Clifford and G. B. Preston,The algebraic theory of semigroups, Vol. I, Amer. Math. Soc. Math. Surveys #7 (1971). · Zbl 0111.03403
[16] H. Draškovičová,Independence of equational classes, Mat. Časopis, Slovensk. Acad. Vied23 (1973), 125–135.
[17] R. B. Eggleton,Number of non-isomorphic groups of a given order, Advanced problem #5838, Amer. Math. Monthly80 (1973), 445–446. · doi:10.2307/2319109
[18] T. Evans,Products of points–some simple algebras and their identities, Amer. Math. Monthly74 (1967), 362–372. · Zbl 0207.32901 · doi:10.2307/2314563
[19] T. Evans,The spectrum of a variety, Z. Math. Logik u. Grundlagen der Math.13 (1967), 213–218. · Zbl 0199.32703 · doi:10.1002/malq.19670131304
[20] S. Fajtlowicz,Birkhoff’s theorem in the category of non-indexed algebras, Bull. Acad. Polon. Sci., Sér. Sci. Math. Phys. et Astron.17 (1969), 273–275. · Zbl 0179.03602
[21] S. Fajtlowicz,n-Dimensional dice, Rend. Mat. (6)4 (1971), 1–11.
[22] S. Fajtlowicz,Categoricity in varieties, Abstract 72T-A109, Notices Amer. Math. Soc.19 (1973), A-435.
[23] G. E. Forsythe,SWAC computes 126 distinct semigroups of order 4, Proc. Amer. Math. Soc.6 (1955), 443–447. · Zbl 0064.02002
[24] A. L. Foster and A. F. Pixley,Algebraic and equational seminaximality; equational spectra. II., Math. Z.94 (1966), 122–133. · Zbl 0199.32502 · doi:10.1007/BF01118975
[25] P. Freyd,Abelian categories, Harper and Row, New York, 1964. · Zbl 0121.02103
[26] E. Fried and G. Grätzer,A nonassociative extension of the class of distributive lattices, Pacific J. Math.49 (1973), 59–78. · Zbl 0282.06008
[27] O. Frink,The operations of Boolean algebras, Annals of Math (2)27 (1925), 477–490. · JFM 52.0135.03 · doi:10.2307/1967698
[28] J. Froemke and R. W. Quackenbush,The spectrum of an equational class of groupoids, Abstract 74T-A115, Notices Amer. Math. Soc.21 (1974), A-432.
[29] P. X. Gallagher,Counting finite groups of a given order, Math. Z.102 (1967), 236–237. · Zbl 0189.02304 · doi:10.1007/BF01112441
[30] S. Givant,Ph.D. Thesis, Berkeley, 1974.
[31] A. Goetz,A generalization of the notion of direct product of universal algebras, Colloq. Math.22 (1971), 167–176. · Zbl 0236.08003
[32] G. Grätzer,On spectra of classes of universal algebras, Proc. Amer. Math. Soc.18 (1967), 729–735. · Zbl 0156.25704 · doi:10.1090/S0002-9939-1967-0222003-3
[33] G. Grätzer,Universal algebra, van Nostrand, Princeton, 1968.
[34] G. Grätzer,Composition of functions, Proceedings of the conference on Universal Algebra (October, 1969), Queen’s Papers in Pure and Applied Mathematics #25, Kingston, Ontario, 1970, 1–106.
[35] G. Grätzer,Two Mal’cev-type theorems in universal algebra, J. Combinatorial Theory8 (1970), 334–342. · Zbl 0194.01401 · doi:10.1016/S0021-9800(70)80086-2
[36] G. Grätzer, H. Lakser, and J. Plonka,Joins and direct products of equational classes, Canad. Math. Bull.12 (1969), 741–744. · Zbl 0188.04903 · doi:10.4153/CMB-1969-095-x
[37] G. Grätzer and R. McKenzie,Equational spectra and reduction of identities (abstract), Notices Amer. Math. Soc.14 (1967), 697.
[38] A. A. Grau,Ternary Boolean algebra, Bull. Amer. Math. Soc.53 (1947), 567–572. · Zbl 0031.25001 · doi:10.1090/S0002-9904-1947-08834-0
[39] A. A. Grau,A ternary operation related to the complete disjunction of Boolean algebra, Univ. Nac. Tucumán Rev. Ser. A8 (1951). · Zbl 0045.00902
[40] G. Higman,Enumerating p-groups I, Inequalities Proc. London Math. Soc. (3)10 (1960), 24–30. · Zbl 0093.02603 · doi:10.1112/plms/s3-10.1.24
[41] T.-K. Hu and P. Kelenson,Independence and direct factorization of universal algebras, Math. Nachr.51 (1971), 83–99. · doi:10.1002/mana.19710510108
[42] A. Hulanicki, and S. Świerczkowski,Number of algebras with a given set of elements, Bull. Acad. Sci. Polon., Sér. Sci. Math. Phys. et Astron.8 (1960), 283–284. · Zbl 0121.26504
[43] B. Jónsson,The unique factorization problem for finite relational structures, Colloq. Math.14 (1966), 1–32. · Zbl 0202.30204
[44] B. Jónsson,Algebras whose congruence lattices are distributive, Math. Scand.21 (1967), 110–121. · Zbl 0167.28401
[45] B. Jónsson and E. Nelson,Regular varieties Alg. Univ.4 (1974), 14–19. · Zbl 0319.08002 · doi:10.1007/BF02485701
[46] A. B. Kempe,On the relation between the logical theory of classes and the geometrical theory of points, Proc. London Math. Soc.(1)21 (1890), 147–182. · JFM 22.0079.02 · doi:10.1112/plms/s1-21.1.147
[47] D. E. Knuth,Notes on central groupoids, J. Combinatorial Theory8 (1970), 376–390. · Zbl 0192.34501 · doi:10.1016/S0021-9800(70)80032-1
[48] J. D. Leech, (ed.),Computational problems in abstract algebra (Proceedings of a Conference at Oxford, 1967), Pergamon, Oxford, 1970. · Zbl 0186.29903
[49] C. C. Lindner,On the construction of non-isomorphic Steiner quadruple systems, Colloq. Math.29 (1974), 303–306. · Zbl 0281.05010
[50] L. Lovász,Operations with structures, Acta Math. Acad. Sci. Hung.18 (1967), 321–328. · Zbl 0174.01401 · doi:10.1007/BF02280291
[51] L. Lovász,On the cancellation law among finite structures, Periodica Math. Hung.1 (1971), 145–156. · Zbl 0223.08002 · doi:10.1007/BF02029172
[52] R. C. Lyndon,Identities in two-valued calculi, Trans. Amer. Math. Soc.71 (1951). 457–465. · Zbl 0044.00201 · doi:10.1090/S0002-9947-1951-0044470-3
[53] E. Marczewski,Independence in abstract algebras, results and problems, Colloq. Math.14 (1966), 169–188. · Zbl 0192.09502
[54] N. H. McCoy,Rings and ideals, Carus monograph #8, Mathematical Association of America, 1948. · Zbl 0041.36406
[55] N. H. McCoy and D. Montgomery,A representation of generalized Boolean rings, Duke Math. J.3 (1937), 455–459. · Zbl 0017.24402 · doi:10.1215/S0012-7094-37-00335-1
[56] R. McKenzie,On the unique factorization problem for finite commutative semigroups, Notices Amer. Math. Soc.12 (1965), 315.
[57] R. McKenzie,A method for obtaining refinement theorems with an application to direct products of semigroups, Algebra Universalis2 (1972), 324–338. · Zbl 0273.08003 · doi:10.1007/BF02945043
[58] R. McKenzie,On spectra and the negative solution of the decision problem for identies having a finite model, J. Symbolic Logic40 (1975), 186–196. · Zbl 0316.02052 · doi:10.2307/2271899
[59] G. McNulty and R. W. Quackenbush,The ascending and descending varietal chains of a variety, Abstract 73T-A52, Notices Amer. Math. Soc.20 (1973), A-254. See also [98]B. Jónsson, G. McNulty, and R. Quackenbush,The ascending and descending variental chains of a variety, Canad. J. Math.27 (1975), 25–31. · Zbl 0305.08003
[60] N. S. Mendelsohn and R. Padmanabhan,A single identity for Boolean groups and Boolean rings, J. Algebra20 (1972), 78–82. · Zbl 0226.20003 · doi:10.1016/0021-8693(72)90086-5
[61] J. D. Monk,Some cardinal functions on algebras, Algebra Universalis5 (1975), 76–81. · Zbl 0311.08005 · doi:10.1007/BF02485234
[62] J. D. Monk and F. M. Sioson,On the general theory of m-groups, Fund. Math.72 (1971), 233–244. · Zbl 0226.20079
[63] M. D. Morley,Categoricity in power, Trans. Amer. Math. Soc.114 (1965), 514–538. · Zbl 0151.01101 · doi:10.1090/S0002-9947-1965-0175782-0
[64] B. H. Neumann,On a problem of G. Grätzer, Publ. Math. Debrecen14 (1967), 325–329. · Zbl 0189.29804
[65] W. D. Neumann,Representing varieties of algebras by algebras, J. Austral. Math. Soc.11 (1970), 1–8. · Zbl 0199.32702 · doi:10.1017/S1446788700005899
[66] M. H. A. Newman,A characterization of Boolean lattices and rings, J. London Math. Soc.16 (1941), 256–272. · Zbl 0060.06305 · doi:10.1112/jlms/s1-16.4.256
[67] E. A. Palyutin,Models with countably categorical universal theories, Algebra i Logika10 (1971), 23–32.
[68] D. Pigozzi,The join of equational theories, Colloq. Math.30 (1974), 15–25. · Zbl 0319.02037
[69] A. F. Pixley,Functionally complete algebras generating distributive and permutable classes, Math. Z.114 (1970), 361–372. · doi:10.1007/BF01110387
[70] A. F. Pixley,The ternary discriminator function in universal algebra, Math. Ann.191 (1971), 167–180. · doi:10.1007/BF01578706
[71] A. F. Pixley,Completeness in arithmetical algebras, Algebra Universalis2 (1972), 179–196. · Zbl 0254.08010 · doi:10.1007/BF02945027
[72] R. J. Plemmons,Construction and analysis of non-equivalent finite semigroups, 223–228 in Leech [48].
[73] J. Plonka,Diagonal algebras, Fund. Math.58 (1966), 309–321.
[74] J. Plonka,On algebras with [at most] n distinct eessentially n-ary operations, Algebra Universalis1 (1971), 73–79 and 80–85. · Zbl 0219.08006 · doi:10.1007/BF02944958
[75] E. Post,Polyadic groups, Trans. Amer. Math. Soc.48 (1940), 208–350. · JFM 66.0099.01 · doi:10.1090/S0002-9947-1940-0002894-7
[76] E. Post,The two-valued iterative systems of mathematical logic, Annals of Mathematics Studies #5, Princeton University Press, Princeton, 1941. · Zbl 0063.06326
[77] R. W. Quackenbush,Structural theory for equational classes generated by quasi-primal algebras, Trans. Amer. Math. Soc.187 (1974), 127–145. · Zbl 0301.08002 · doi:10.1090/S0002-9947-1974-0327619-X
[78] D. Rearick,Operators on algebras of arithmetic functions, Duke Math. J.35 (1968), 761–766. · Zbl 0169.37201 · doi:10.1215/S0012-7094-68-03580-1
[79] B. Rokowska,On the number of non-isomorphic Steiner triples, Colloq. Math.27 (1973), 149–160. · Zbl 0254.05006
[80] P. C. Rosenbloom,Post algebras I, postulates and general theory, Amer J. Math.64 (1942), 167–188. · Zbl 0060.06701 · doi:10.2307/2371676
[81] M. Saade,A comment on a paper by Evans, Z. Math. Logik u. Grundlagen der Math.15 (1969), 97–100. · Zbl 0199.32801 · doi:10.1002/malq.19690150701
[82] H. Scholz,Problem #1, J. Symbolic Logic17 (1952), 160.
[83] L. E. Shader,On the existence of finite central groupoids of all possible ranks. I, J. Combinatorial Theory (A)16 (1974), 221–229. · Zbl 0279.20048 · doi:10.1016/0097-3165(74)90047-8
[84] S. Shelah,Stability, etc., Ann. Math. Logic3 (1971), 271–362. · Zbl 0281.02052 · doi:10.1016/0003-4843(71)90015-5
[85] C. C. Sims,Enumerating p-groups, Proc. London Math. Soc. (3),15 (1965), 151–166. · Zbl 0133.28401 · doi:10.1112/plms/s3-15.1.151
[86] D. M. Smirnov,Cantor algebras with a single generator I, II, Algebra i Logika10 (1971), 61–75 and 658–667. · Zbl 0223.08006
[87] T. Tamura,Some contributions of computation to semigroups and groupoids, 229–261 in Leech [48].
[88] W. Taylor,The fine spectrum of a variety, Abstract 72T-A250, Notices Amer. Math. Soc.19 (1972), A-686.
[89] W. Taylor,Characterizing Mal’cev conditions, Algebra Universalis3 (1973), 351–397. · Zbl 0304.08003 · doi:10.1007/BF02945141
[90] R. L. Vaught,Denumerable models of complete theories, 303–321 in:Infinitistic methods (Proceedings of the Symposium on Foundations of Mathematics. Warsaw, September, 1959), Pergamon Państwowe Wydawnictwo Naukowe, Warsaw, 1961.
[91] H. Werner,Eine Charakterisierung funktional vollständiger Algebren, Arch. Math. (Basel)21 (1970), 381–385. · Zbl 0211.32003
[92] A. Whiteman,Postulates for Boolean algebra in terms of ternary rejection, Bull. Amer. Math. Soc.43 (1937), 293–298. · JFM 63.0025.04 · doi:10.1090/S0002-9904-1937-06538-4
[93] R. M. Wilson,Nonisomorphic Steiner triple systems, Math. Z.135 (1974), 303–313. · doi:10.1007/BF01215371
[94] E. Bammel and J. Rothstein,The number of 9{\(\times\)}9 Latin squares, Discrete Math. 11 (1975), 93–95. · Zbl 0304.05007 · doi:10.1016/0012-365X(75)90108-9
[95] S. Burris,Abstract 75T-A104, Notices American Math. Soc.22 (1975), A-439.
[96] R. Fagin,Monadic generalized spectra, etc., Z. Math. Logik Grundlagen Math.21 (1975), 89–96. · Zbl 0317.02054 · doi:10.1002/malq.19750210112
[97] L. T. Rigatelli,Sulle algebre {\(\alpha\)}-diagonali, Rend. Mat., (6)7 (1974), 403–414.
[98] B. Jónsson, G. McNulty, and R. Quackenbush,The ascending and descending variental chains of a variety, Canad. J. Math.27 (1975), 25–31. · Zbl 0305.08003 · doi:10.4153/CJM-1975-004-2
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.