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-代数类,从而推广了文献[9]的结果.     

几乎伪补格的核理想与W-理想

讨论几乎伪补格的核理想与W-理想的一些性质.     

Congruence properties of pseudocomplemented De Morgan algebras

In this paper we first describe the Priestley duality for pseudocomplemented De Morgan algebras by combining the known dualities of distributive p‐algebras due to Priestley and for De Morgan algebras due to Cornish and Fowler. We then use it to characterize congruence‐permutability, principal join property, and the property of having only principal congruences for pseudocomplemented De Morgan algebras. The congruence‐uniform pseudocomplemented De Morgan algebras are also described.     

Pseudocomplemented semilattices are finite-to-finite relatively universal

It is shown that the category of directed graphs is isomorphic to a subcategory of the variety S of all pseudocomplemented semilattices which contains all homomorphisms whose images do not lie in the subvariety B of all Boolean pseudocomplemented semilattices. Moreover, the functor exhibiting the isomorphism may be chosen such that each finite directed graph is assigned a finite pseudocomplemented semilattice. That is to say, it is shown that the variety S of all pseudocomplemented semilattices is finite-to-finite B-relatively universal. This illustrates the complexity of the endomorphism monoids of pseudocomplemented semilattices since it follows immediately that, for any monoid M, there exists a proper class of non-isomorphic pseudocomplemented semilattices such that, for each member S, the endomorphisms of S which do not have an image contained in the skeleton of S form a submonoid of the endomorphism monoid of S which is isomorphic to M. Received June 17, 2006; accepted in final form May 8, 2007.     

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.     

Finite pseudocomplemented lattices: The spectra and the Glivenko congruence

Recently, Gr?tzer, Gunderson and Quackenbush have characterized the spectra of finite pseudocomplemented lattices, solving a problem raised by G. Gr?tzer in his first monograph on lattice theory from 1971. In this note we discuss the tight connection between the spectra and the Glivenko congruence of finite pseudocomplemented lattices.     

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

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

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

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

The model companion of the class of pseudocomplemented semilattices is finitely axiomatizable

It is shown that the class \({\mathcal{PCSL}^{ec}}\) of existentially closed pseudocomplemented semilattices is finitely axiomatizable by appropriately extending a finite axiomatization of the class \({\mathcal{PCSL}^{ac}}\) of algebraically closed pseudocomplemented semilattices. Because \({\mathcal{PCSL}^{ec}}\) coincides with the model companion of the class \({\mathcal{PCSL}}\) of pseudocomplemented semilattices, this answers the question asked by Albert and Burris in a paper in 1986: “Does the class of pseudocomplemented semilattices have a finitely axiomatizable model companion?"     

Pseudocomplementation in (Normal) Subgroup Lattices

The goal of this article is to study finite groups admitting a pseudocomplemented subgroup lattice (PK-groups) or a pseudocomplemented normal subgroup lattice (PKN-groups). In particular, we obtain a complete classification of finite PK-groups and of finite nilpotent PKN-groups. We also study groups with a Stone normal subgroup lattice, and we classify finite groups for which every subgroup has a Stone normal subgroup lattice. Finally, we obtain a complete classification of finite groups for which every subgroup is monolithic.     

Relatively pseudocomplemented Hilbert algebras

We characterise those Hilbert algebras that are relatively pseudocomplemented posets.      

Algebraic axiomatization of tense intuitionistic logic

We introduce two unary operators G and H on a relatively pseudocomplemented lattice which form an algebraic axiomatization of the tense quantifiers “it is always going to be the case that” and “it has always been the case that”. Their axiomatization is an extended version for the classical logic and it is in accordance with these operators on many-valued Łukasiewicz logic. Finally, we get a general construction of these tense operators on complete relatively pseudocomplemented lattice which is a power lattice via the so-called frame.     

A note on Stone join-semilattices

Characterizations for a pseudocomplemented modular join-semilattice with 0 and 1 and its ideal lattice to be a Stone lattice are given.     

Remarks on the Stone-?ech and Alexandroff compactifications of locales

Relations of strong inclusion are considered on pseudocomplemented distributive lattices to refine existing constructions of (Stone-?ech and Alexandroff) compactifications of frames.     

Varieties of Regular Pseudocomplemented de Morgan Algebras

Order - In this paper, we investigate the varieties Mn and Kn of regular pseudocomplemented de Morgan and Kleene algebras of range n, respectively. Priestley duality as it applies to...     

The class of algebraically closed p-semilattices is finitely axiomatizable

We prove our title, and thereby establish the base for a positive solution of Albert and Burris’ problem on the finite axiomatizability of the model companion of the class of all pseudocomplemented semilattices.     

Prime ideals in 0-distributive posets

In the first section of this paper, we prove an analogue of Stone’s Theorem for posets satisfying DCC by using semiprime ideals. We also prove the existence of prime ideals in atomic posets in which atoms are dually distributive. Further, it is proved that every maximal non-dense (non-principal) ideal of a 0-distributive poset (meet-semilattice) is prime. The second section focuses on the characterizations of (minimal) prime ideals in pseudocomplemented posets. The third section deals with the generalization of the classical theorem of Nachbin. In fact, we prove that a dually atomic pseudocomplemented, 1-distributive poset is complemented if and only if the poset of prime ideals is unordered. In the last section, we have characterized 0-distributive posets by means of prime ideals and minimal prime ideals.     

伪补MS代数的主同余关系

本文给出了伪补MS代数的主同余关系的等式刻划 ,并应用这种刻划研究了MS代数的主同余关系的可补性 .