Algebras defined from ordered sets and the varieties they generate

Order

Volumn 23, Issue 1, 2006, Pages 65-88

  Berman, J ^a   Blok, W J ^a  

^a UNIVERSITY OF ILLINOIS AT CHICAGO   (United States)

Author keywords

Algebra; Equationally definable order relation; Free algebra; Hilbert algebra; Order algebra; Ordered set; Quasi order; Semilattice; Subdirectly irreducible

Indexed keywords

EID: 33747142476     PISSN: 01678094     EISSN: None     Source Type: Journal    
DOI: 10.1007/s11083-006-9032-2     Document Type: Article

References (16)

1. Berman, J., Blok, W.J.: Free Lukasiewicz and hoop residuation algebras. Stud. Log. 77, 153-180 (2004)
2. Berman, J., Idziak, P.M.: Counting finite algebras in the post varieties. Int. J. Algebra Comput. 10, 323-337 (2000)
3. Berman, J., Idziak, P.M.: Generative Complexity in Algebra, Memoirs of the Amer. Math. Soc., no. 828. Providence, Rhode Island (2005)
4. Blok, W.J., Pigozzi, D.: On the structure of varieties with equationally definable principal congruences. I. Algebra Univers. 15, 195-227 (1982)
5. Burris, S., Sankappanavar, H.: A Course in Universal Algebra. Springer, Berlin Heidelberg New York (1981)
6. Diego, A.: Sur les algèbres d'Hilbert, Collection de Logique Mathématique, Sr. A, Fasc. XXI Gauthier-Villars, Paris; E. Nauwelaerts, Louvain (1966)
7. M. Erné, Struktur- und Anzahlformeln für Topologien auf endlichen Mengen. Manuscr. Math. 11, 221-259 (1974)
8. Freese, R., Ježek, J., Jipsen, P., Marković, P., Maróti, M., McKenzie, R.: The variety generated by order algebras. Algebra Univers. 47, 103-138 (2002)
9. Guzmán, F., Lynch, C.: Varieties of positive implicative BCK-algebras - Subdirectly irreducible and free algebras. Math. Jpn. 37, 27-39 (1992)
10. Heitzig, J., Jürgen, R.: The number of unlabeled orders on fourteen elements. Order 17, 333-341 (2000)
11. Hendriks, A.: Computations in propositional logic. PhD thesis, University of Amsterdam, ILLC Dissertation Series (1996)
12. Hobby, D., McKenzie, R.: The Structure of Finite Algebras, Contemporary Mathematics, vol. 76. American Mathematical Society, Providence, Rhode Island (1988)
13. Kleitman, D.J., Rothschild, B.L.: Asymptotic enumeration of partial orders on a finite set. Trans. Am. Math. Soc. 205, 205-220 (1975)
14. McKenzie, R., McNulty, G., Taylor, W.: Algebras, Lattices, Varieties. Wadsworth/Brooks Cole, Monterrey, California (1987)
15. Urquhart, A.: Implicational formulas in intuitionistic logic. J. Symb. Log. 39, 661-664 (1974)
16. Walter, B.L.: Finite Equational Bases for Directed Graph Algebras. PhD thesis, UCLA, Los Angeles, California (2002)