Topological implications in varieties

被引：7

作者：

Bentz, W ^{[1
]}

机构：

[1] Simon Fraser Univ, Dept Math & Stat, Burnaby, BC V5A 1S6, Canada

来源：

ALGEBRA UNIVERSALIS | 1999年 / 42卷 / 1-2期

关键词：

Key words: Kripke structures, perfect class of Kripke structures, dynamic algebras, algebraic universality.;

D O I：

10.1007/s000120050120

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

In 1997, Coleman showed that a variety V is n-permutable for some n iff every T-0-topological Algebra in V is T-1. Here we show that the implication "T-0 => sober" is another such characterization for n-permutability. Other implications of a similar nature are given. For example, an n-permutable variety having a majority term satisfies "T-0 =>T-2".

引用

页码：9 / 16

页数：8

共 12 条

[1] Separation in topological algebras [J].