学科分类
/ 1
1 个结果
  • 简介:这里,我们介绍Ockham代数学的类的一个子类(L;f)为哪个L满足为每xL,在那里存在的性质n0以便fn(x)和fn+1(x)是补足的。我们在如此的代数学上描绘一致的格子的结构(L;f)。我们证明L上的紧缩的一致的格子是一个双石头格子,并且特别地,如果并且仅当L是有限的,L上的一致的格子反对L是布尔的布尔。我们也证明L是一致协调如果并且仅当它是布尔的。最后,我们给一个足够、必要的条件有subdirectly无法缩减的链。

  • 标签: OCKHAM代数 子类 晶格结构 充分必要条件 同余格 布尔值