Universal Algebra and Lattice Theory

Proceedings of a Conference held at Charleston, July 11-14, 1984
Herausgegeben:Comer, Stephen D.

• Broschiertes Buch

Produktbeschreibung

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.

Produktdetails

• Lecture Notes in Mathematics 1149
• Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
• Artikelnr. des Verlages: 978-3-540-15691-8
• 1985.
• Seitenzahl: 296
• Erscheinungstermin: 1. September 1985
• Englisch
• Abmessung: 235mm x 155mm x 17mm
• Gewicht: 473g
• ISBN-13: 9783540156918
• ISBN-10: 3540156917
• Artikelnr.: 23816406

Inhaltsangabe

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.