Universal algebra and lattice theory : proceedings of a conference held at Charleston, July 11-14, 1984

書誌事項

Universal algebra and lattice theory : proceedings of a conference held at Charleston, July 11-14, 1984

edited by Stephen D. Comer

(Lecture notes in mathematics, 1149)

Springer-Verlag, c1985

  • : gw
  • : us

大学図書館所蔵 件 / 72

この図書・雑誌をさがす

内容説明・目次

目次

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.

「Nielsen BookData」 より

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ