Isbn: 9783540156918 - universal algebra and lattice theory: proceedings of a conference held at charleston, july 11-14, 1984 (lecture notes in mathematics, 1149, band 1149) (3 Ergebnisse)

Zustand: New. In English.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.…

Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 296 | Sprache: Englisch | Produktart: Bücher | 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.…