02925nam 2200589 450 99646660750331620220907105841.03-540-39638-110.1007/BFb0098450(CKB)1000000000437656(SSID)ssj0000327501(PQKBManifestationID)12049842(PQKBTitleCode)TC0000327501(PQKBWorkID)10301690(PQKB)10363665(DE-He213)978-3-540-39638-3(MiAaPQ)EBC5579446(Au-PeEL)EBL5579446(OCoLC)1066190416(MiAaPQ)EBC6841838(Au-PeEL)EBL6841838(PPN)155184571(EXLCZ)99100000000043765620220907d1985 uy 0engurnn|008mamaatxtccrUniversal algebra and lattice theory proceedings of a conference held at Charleston, July 11-14 1984 /edited by Stephen D. Comer1st ed. 1985.Berlin ;Heidelberg :Springer-Verlag,[1985]©19851 online resource (VIII, 288 p.) Lecture Notes in Mathematics ;Volume 1149Bibliographic Level Mode of Issuance: Monograph3-540-15691-7 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.Lecture notes in mathematics (Springer-Verlag) ;Volume 1149.Algebra, UniversalCongressesLattice theoryCongressesAlgebra, UniversalLattice theory512Comer Stephen D.1941-MiAaPQMiAaPQMiAaPQBOOK996466607503316Universal algebra and lattice theory79918UNISA