a module $m$ is called $emph{h}$-cofinitely supplemented if for every cofinite submodule $e$ (i.e. $m/e$ is finitely generated) of $m$ there exists a direct summand $d$ of $m$ such that $m = e + x$ holds if and only if $m = d + x$, for every submodule $x$ of $m$. in this paper we study factors, direct summands and direct sums of $emph{h}$-cofinitely supplemented modules. let $m$ be an $emph{h}$...

Dominance is a relation on operations which are defined on a common poset. We treat the dominance relation on the set of ordinal sum t-norms which involve either exclusively the Lukasiewicz t-norm or exclusively the product t-norm as summand operations. We show that in both cases, the question of dominance can be reduced to a simple property of the idempotent elements of the dominating t-norm. ...

A module $M$ is called $emph{H}$-cofinitely supplemented if for every cofinite submodule $E$ (i.e. $M/E$ is finitely generated) of $M$ there exists a direct summand $D$ of $M$ such that $M = E + X$ holds if and only if $M = D + X$, for every submodule $X$ of $M$. In this paper we study factors, direct summands and direct sums of $emph{H}$-cofinitely supplemented modules. Let $M$ be an $emph{H}...

We show that the relational theory of intersection types known as BCD has the finite model property; that is, BCD is complete for its finite models. Our proof uses rewriting techniques which have as an immediate by-product the polynomial time decidability of the preorder ⊆ (although this also follows from the so called beta soundness of BCD). BCD is the relational theory of intersection types p...