We prove the following result: Theorem. Every algebraic distributive lattice D with at most א1 compact elements is isomorphic to the ideal lattice of a von Neumann regular ring R. (By earlier results of the author, the א1 bound is optimal.) Therefore, D is also isomorphic to the congruence lattice of a sectionally complemented modular lattice L, namely, the principal right ideal lattice of R. F...

We present a framework for the complexity classification of parameterized counting problems that can be formulated as the summation over the numbers of homomorphisms from small pattern graphs H1, . . . ,H` to a big host graph G with the restriction that the coefficients correspond to evaluations of the Möbius function over the lattice of a graphic matroid. This generalizes the idea of Curticape...

In this paper, we introduce n-jordan homomorphisms and n-jordan *-homomorphisms and Also investigate the Hyers-Ulam-Rassiasstability of n-jordan *-homomorphisms on C*-algebras.

By means of a kind of new idea, we consider  the $(in,ivq)$-fuzzy$h$-ideals of a hemiring.  First, the concepts of $(in,ivq)$-fuzzyleft(right) $h$-ideals of a hemiring are provided and some relatedproperties are investigated. Then, a kind  of quotient hemiring  ofa hemiring by an $(in,ivq)$-fuzzy $h$-ideal is presented andstudied. Moreover, the notions of generalized $varphi$-compatible$(in,ivq...

by means of a kind of new idea, we consider  the $(in,ivq)$-fuzzy$h$-ideals of a hemiring.  first, the concepts of $(in,ivq)$-fuzzyleft(right) $h$-ideals of a hemiring are provided and some relatedproperties are investigated. then, a kind  of quotient hemiring  ofa hemiring by an $(in,ivq)$-fuzzy $h$-ideal is presented andstudied. moreover, the notions of generalized $varphi$-compatible$(in,ivq...

By a lattice we shall always mean a distributive lattice which is bounded, i.e. has both a bottom element 0 and a top element 1. Lattice homomorphisms will always be assumed to preserve 0 and 1. By a modality on a (distributive) lattice L = (L, ∧, ∨, ≤, 0, 1) is meant a map : L → L satisfying (1) 1 = 1, (2) (x ∧ y) = x ∧ y for x, y ∈ L. The pair (L, ) will be called a modalized (distributive) l...