Universal Algebra and Lattice Theory
Universal Algebra and Lattice Theory Proceedings of a Conference held at Charleston, July 11–14, 1984 / [electronic resource] :
edited by Stephen D. Comer.
- VIII, 288 p. online resource.
- Lecture Notes in Mathematics, 1149 0075-8434 ; .
- Lecture Notes in Mathematics, 1149 .
Universal terms for pseudo-complemented distributive lattices and Heyting algebras -- Clones of operations on relations -- Separation conditions on convexity lattices -- Some independence results in the co-ordinization of arguesian lattices -- Unary operations on completely distributive complete lattices -- Connected components of the covering relation in free lattices -- Varieties with linear subalgebra geometries -- Generalized commutativity -- The word and isomorphism problems in universal algebra -- Linear lattice proof theory: An overview -- Interpolation antichains in lattices -- Subdirectly irreducible and simple boolean algebras with endomorphisms -- A note on varieties of graph algebras -- How to construct finite algebras which are not finitely based -- Finite integral relation algebras -- Some varieties of semidistributive lattices -- Homomorphisms of partial and of complete steiner triple systems and quasigroups -- Principal congruence formulas in arithmetical varieties -- From affine to projective geometry via convexity -- More conditions equivalent to congruence modularity.
9783540396383
10.1007/BFb0098450 doi
Algebra.
Algebra.
QA150-272
512
Universal terms for pseudo-complemented distributive lattices and Heyting algebras -- Clones of operations on relations -- Separation conditions on convexity lattices -- Some independence results in the co-ordinization of arguesian lattices -- Unary operations on completely distributive complete lattices -- Connected components of the covering relation in free lattices -- Varieties with linear subalgebra geometries -- Generalized commutativity -- The word and isomorphism problems in universal algebra -- Linear lattice proof theory: An overview -- Interpolation antichains in lattices -- Subdirectly irreducible and simple boolean algebras with endomorphisms -- A note on varieties of graph algebras -- How to construct finite algebras which are not finitely based -- Finite integral relation algebras -- Some varieties of semidistributive lattices -- Homomorphisms of partial and of complete steiner triple systems and quasigroups -- Principal congruence formulas in arithmetical varieties -- From affine to projective geometry via convexity -- More conditions equivalent to congruence modularity.
9783540396383
10.1007/BFb0098450 doi
Algebra.
Algebra.
QA150-272
512