On Uniquely Complemented Posets

In this paper, some classical results of uniquely complemented lattices are extended to uniquely complemented posets (with 0 and 1) like Peirce's Theorem, the Birkhoff–von Neumann Theorem, the Birkhoff–Ward Theorem. Further, it is shown that a section semi-complemented pseudocomplemented poset is a Boolean poset. Mathematics Subject Classification (2001) 06A06, 06A11, 06C15, 06C20, 06D15     

Finiteness conditions and distributive laws for Boolean algebras

We compare diverse degrees of compactness and finiteness in Boolean algebras with each other and investigate the influence of weak choice principles. Our arguments rely on a discussion of infinitary distributive laws and generalized prime elements in Boolean algebras. In ZF set theory without choice, a Boolean algebra is Dedekind finite if and only if it satisfies the ascending chain condition. The Denumerable Subset Axiom (DS) implies finiteness of Boolean algebras with compact top, whereas the converse fails in ZF. Moreover, we derive from DS the atomicity of continuous Boolean algebras. Some of the results extend to more general structures like pseudocomplemented semilattices (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

双重伪补代数的假值理想的一点注记

介绍了双重伪补代数的假值理想和假值同余的概念,并刻画了它们的某些性质.特别地,给出了双重伪补代数的假值理想和假值同余的特征表示.     

伪补分配格的同余理想与同余关系

L是完备的伪补分配格,I是L的同余理想,本文得到以下结果：⑴θ是L的以I为核的最大同余关系的条件。⑵L的以I为核的同余关系是唯一的充分必要条件。⑶L的同余理想与同余关系之间有一一对应关系的充分必要条件。     

分配伪补格的主理想

本文给出了分配伪补格 ( L;∧ ,∨ ,* ,0 ,1 )中的主理想 I=( d]成为同余理想的充分必要条件 .当 L是局部有限时 (即 d∈ S( L) ,Fd={x|x* * =d}有限 ) ,对骨架 S( L)中的每个元素 d,我们找到了以 I=( d]为核心的最小同余关系 ,利用以上结果我们得到一个 Stone代数是布尔代数的一些等价条件 .     

Subdirectly irreducible sectionally pseudocomplemented semilattices

Sectionally pseudocomplemented semilattices are an extension of relatively pseudocomplemented semilattices—they are meet-semilattices with a greatest element such that every section, i.e., every principal filter, is a pseudocomplemented semilattice. In the paper, we give a simple equational characterization of sectionally pseudocomplemented semilattices and then investigate mainly their congruence kernels which leads to a characterization of subdirectly irreducible sectionally pseudocomplemented semilattices. Supported by the Council of the Czech Government, MSM 6198959214.     

伪补MS-代数的滤子同余关系

在伪补MS-代数上引入余核滤子和完全滤子的概念,研究伪补MS-代数的余核滤子和完全滤子的性质,获得了余核滤子和完全滤子生成的同余关系的表达式,证明了具有余核滤子的最小同余关系有同余一致性.     

On Pseudocomplemented and Stone Ordered Sets

The aim of this paper is to characterize both the pseudocomplemented and Stone ordered sets in a manner similar to that used previously for Boolean and distributive ordered sets. The sublattice G(A) of the Dedekind–Mac Neille completion DM(A) of an ordered set A generated by A is said to be the characteristic lattice of A. We will show that there are distributive pseudocomplemented ordered sets whose characteristic lattices are not pseudocomplemented. We can define a stronger notion of pseudocomplementedness by demanding that both A and G(A) be pseudocomplemented. It turns out that the two concepts are the same for finite and Stone ordered sets.     

On Pseudocomplemented and Stone Ordered Sets,Addendum

The notion of pseudocomplementedness is weakened in order to obtain a tractable and consistent property of ordered sets, in particular lattices.