We investigate an algebraic notion of decidability which allows a uniform investigation of a large class of notions of forcing. Among other things, we show how to build σ-fields of sets connected with Laver and Miller notions of forcing and we show that these σ-fields are closed under the Suslin operation.
We shall prove that if is a finitely generated multiplication module and is a finitely generated ideal of , then there exists a distributive lattice such that with Zariski topology is homeomorphic to to Stone topology. Finally we shall give a characterization of finitely generated multiplication -modules such that is a finitely generated ideal of .
In this paper we obtain the forbidden configuration for 0-distributive lattices.
We characterize the pseudomodular lattices by means of a forbidden configuration.
Nuclei of frame congruences generated by frame tolerances and by lattice congruences are constructed.
In the present paper we show that free -algebras can be constructed by applying free abelian lattice ordered groups.
The paper considers a fuzzification of the notion of quantaloid of K. I. Rosenthal, which replaces enrichment in the category of -semilattices with that in the category of modules over a given unital commutative quantale. The resulting structures are called quantale algebroids. We show that their constitute a monadic category and prove a representation theorem for them using the notion of nucleus adjusted for our needs. We also characterize the lattice of nuclei on a free quantale algebroid. At...
The fuzzification of (normal) -subalgebras is considered, and some related properties are investigated. A characterization of a fuzzy -algebra is given.
Fuzzy ideals of pseudo MV-algebras are investigated. The homomorphic properties of fuzzy prime ideals are given. A one-to-one correspondence between the set of maximal ideals and the set of fuzzy maximal ideals μ satisfying μ(0) = 1 and μ(1) = 0 is obtained.
We describe properties of subalgebras and BCC-ideals in BCC-algebras with a topology induced by a family of fuzzy sets.