We prove that every quasi-complete intersection (q.c.i.) ideal is obtained from a pair of nested complete ideals by way flat base change. As by-product we establish rigidity statement for the minimal two-step Tate complex associated to an I in local ring R. Furthermore, define T each R; and result it. The exact if only q.c.i. ideal; this case, resolution R/I free R-modules.

In this paper, our purpose is twofold. Firstly, the tensor andresiduum operations on $L-$nested systems are introduced under thecondition of complete residuated lattice. Then we show that$L-$nested systems form a complete residuated lattice, which isprecisely the classical isomorphic object of complete residuatedpower set lattice. Thus the new representation theorem of$L-$subsets on complete re...

We characterize those intersection-type theories which yield complete intersection-type assignment systems for λ-calculi, with respect to the three canonical set-theoretical semantics for intersectiontypes: the inference semantics, the simple semantics and the F-semantics. These semantics arise by taking as interpretation of types subsets of applicative structures, as interpretation of the inte...