Varieties with few subalgebras of powers

Transactions of the American Mathematical Society

Volumn 362, Issue 3, 2010, Pages 1445-1473

  Berman, Joel ^a   Idziak, Pawel ^b   Marković, Petar ^c   McKenzie, Ralph ^d   Valeriote, Matthew ^e   Willard, Ross ^f  

^a UNIVERSITY OF ILLINOIS AT CHICAGO   (United States)

^b JAGIELLONIAN UNIVERSITY   (Poland)

^c UNIVERSITY OF NOVI SAD   (Serbia)

^d VANDERBILT UNIVERSITY   (United States)

^e MCMASTER UNIVERSITY   (Canada)

^f UNIVERSITY OF WATERLOO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 77950886377     PISSN: 00029947     EISSN: None     Source Type: Journal    
DOI: 10.1090/S0002-9947-09-04874-0     Document Type: Article

References (26)

1. Kirby A. Baker and Alden F. Pixley. Polynomial interpolation and the Chinese remainder theorem for algebraic systems. Math. Z., 143(2):165-174, 1975. MR0371782 (51:7999)
2. Joel Berman and Pawel M. Idziak. Generative complexity in algebra. Mem. Amer. Math. Soc., 175(828):viii+159 pp., 2005. MR2130585 (2006a:08001) (Pubitemid 40622717)
3. Andrei Bulatov, Hubie Chen, and Víctor Dalmau. Learning intersection-closed classes with signatures. Theor. Comput. Sci., 382(3):209-220, 2007. MR2348225 (2008h:68057) (Pubitemid 47248043)
4. Andrei Bulatov and Victor Dalmau. A simple algorithm for Mal'tsev constraints. SIAM J. Comput., 36(1):16-27 (electronic), 2006. MR2231638 (2007f:68073) (Pubitemid 46374016)
5. Andrei Bulatov, Peter Jeavons, and Andrei Krokhin. Classifying the complexity of constraints using finite algebras. SIAM J. Comput., 34(3):720-742 (electronic), 2005. MR2137072 (2005k:68181) (Pubitemid 40844240)
6. Stanley Burris and H. P. Sankappanavar. A course in universal algebra, volume 78 of Graduate Texts in Mathematics. Springer-Verlag, New York, 1981. MR648287 (83k:08001)
7. Hubie Chen. The expressive rate of constraints. Ann. Math. Artif. Intell., 44(4):341-352, 2005. MR2185700 (2006g:68239)
8. Víctor Dalmau. Computational complexity of problems over generalized formulas. Ph.D. thesis, Universitat Politécnica de Catalunya, 2000.
9. Víctor Dalmau. Generalized majority-minority operations are tractable. In LICS '05: Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05), pages 438-447, Washington, DC, USA, 2005. IEEE Computer Society.
10. Víctor Dalmau and Peter Jeavons. Learnability of quantified formulas. Theoret. Comput. Sci., 306(1-3):485-511, 2003. MR2000189 (2004i:68092)
11. Alan Day. A characterization of modularity for congruence lattices of algebras. Canad. Math. Bull., 12:167-173, 1969. MR0248063 (40:1317)
12. Tomás Feder and Moshe Y. Vardi. The computational structure of monotone monadic SNP and constraint satisfaction: a study through Datalog and group theory. SIAM J. Comput., 28(1):57-104 (electronic), 1999. MR1630445 (2000e:68063) (Pubitemid 128491791)
13. R. Freese and R. McKenzie. Commutator Theory for Congruence Modular Varieties,volume 125 of London Mathematical Society Lecture Note Series. Cambridge University Press, 1987. MR909290 (89c:08006)
14. O. C. García and W. Taylor. The lattice of interpretability types of varieties. Mem. Amer. Math. Soc., 50(305):v+125, 1984. MR749524 (86e:08006a)
15. H. Peter Gumm. Geometrical methods in congruence modular algebras. Mem. Amer. Math. Soc., 45(286):viii+79, 1983. MR714648 (85e:08012)
16. Bradd Hart, Sergei Starchenko, and Matthew Valeriote. Vaught's conjecture for varieties. Trans. Amer. Math. Soc., 342(1):173-196, 1994. MR1191612 (94e:03036)
17. David Hobby and Ralph McKenzie. The structure of finite algebras,volume 76 of Contemporary Mathematics. American Mathematical Society, Providence, RI, 1988. Revised edition: 1996. MR958685 (89m:08001)
18. Pawel Idziak, Petar Marković, Ralph McKenzie, Matthew Valeriote, and Ross Willard. Tractability and learnability arising from algebras with few subpowers. In LICS '07: Proceedings of the 22nd Annual IEEE Symposium on Logic in Computer Science, pages 213-224, Washington, DC, USA, 2007. IEEE Computer Society.
19. Pawel Idziak, Ralph McKenzie, and Matthew Valeriote. The structure of locally finite varieties with polynomially many models. Journal of the American Mathematical Society 32(1):119-165, 2009. MR2449056
20. Peter Jeavons. On the algebraic structure of combinatorial problems. Theoret. Comput. Sci., 200(1-2):185-204, 1998. MR1625523 (99d:68085)
21. Keith Kearnes and Agnes Szendrei. Clones of parallelogram algebras. preprint, 2007.
22. Petar Marković and Ralph McKenzie. Few subpowers, congruence distributivity and nearunanimity terms. Algebra Universalis, 58(2):119-128, 2008. MR2386525 (2009b:08008)
23. Ralph N. McKenzie, George F. McNulty, and Walter F. Taylor. Algebras, lattices, varieties. Vol. I. The Wadsworth & Brooks/Cole Mathematics Series. Wadsworth & Brooks/Cole Advanced Books & Software, Monterey, CA, 1987. MR883644 (88e:08001)
24. Michael Morley. Categoricity in power. Trans. Amer. Math. Soc., 114:514-538, 1965. MR0175782 (31:58)
25. Luís Sequeira. Near-unanimity is decomposable. Algebra Universalis, 50(2):157-164, 2003. MR2037523 (2004i:08011)
26. S. Shelah. Classification theory and the number of nonisomorphic models, volume 92 of Studies in Logic and the Foundations of Mathematics. North-Holland Publishing Co., Amsterdam, second edition, 1990. MR1083551 (91k:03085)