We study non-holonomic overideals of a (left) differential ideal J ⊂ F [dx, dy ] in two variables where F is a differentially closed field of characteristic zero. The main result states that a principal ideal J = 〈P 〉 generated by an operator P with a separable symbol symb(P ) (being a homogeneous polynomial in two variables) has a finite number of maximal non-holonomic overideals. This stateme...

In [1] a recursive warrant semantics for Defeasible Logic Programming extended with levels of possibilistic uncertainty for defeasible rules was introduced. The resulting argumentation framework, called RP-DeLP, is based on a general notion of collective (non-binary) conflict among arguments allowing to ensure direct and indirect consistency properties with respect to the strict knowledge. An o...

We call a local vector lattice any vector lattice with a distinguished positive strong unit and having exactly one maximal ideal (its radical). We provide a short study of local vector lattices. In this regards, some characterizations of local vector lattices are given. For instance, we prove that a vector lattice with a distinguished strong unit is local if and only if it is clean with non no-...

let g be a group. a subset x of g is a set of pairwise noncommuting elements if xy ̸= yx for any two distinct elements x and y in x. if |x| ≥ |y | for any other set of pairwise non-commuting elements y in g, then x is said to be a maximal subset of pairwise non-commuting elements. in this paper we determine the cardinality of a maximal subset of pairwise non-commuting elements in any non-abelian...

Let X be a compact set in the z-plane. We are interested in two function spaces associated with X: C(X) — space of all continuous complex-valued functions on X. P(X) =space of all uniform limits of polynomials on X. Thus a function ƒ on X lies in P{X) if there exists a sequence {Pn} of polynomials converging to ƒ uniformly on X. Clearly P(X) is part of C(X). QUESTION I. When is P(X) = C(X)t i.e...