Universal Algebra and Lattice Theory | Proceedings of a Conference held at Charleston, July 11-14, 1984 | ISBN 9783540396383

Universal Algebra and Lattice Theory

Proceedings of a Conference held at Charleston, July 11-14, 1984

herausgegeben von Stephen D. Comer
Buchcover Universal Algebra and Lattice Theory  | EAN 9783540396383 | ISBN 3-540-39638-1 | ISBN 978-3-540-39638-3

Universal Algebra and Lattice Theory

Proceedings of a Conference held at Charleston, July 11-14, 1984

herausgegeben von Stephen D. Comer

Inhaltsverzeichnis

  • 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.