In this paper we generalize Kolany's 11] and Cowen's 5] notions of satissability on hy-pergraphs. The notion of n-satissability on hypergraphs is developed. We show that the compactness property of n-satissability on hypergraphs is, in ZF set theory, equivalent to the Prime Ideal theorem in Boolean algebra. We give a syntactic characterization of n-satissability on hypergraphs in terms of a res...

This paper establishes the first four moment expansions to the order o(a^−1) of S_{t_{a}}^{prime }/sqrt{t_{a}}, where S_{n}^{prime }=sum_{i=1}^{n}Y_{i} is a simple random walk with E(Yi) = 0, and ta is a stopping time given by t_{a}=inf left{ ngeq 1:n+S_{n}+zeta _{n}>aright}‎ where S_{n}=sum_{i=1}^{n}X_{i} is another simple random walk with E(Xi) = 0, and {zeta _{n},ngeq 1} is a sequence of ran...

The minimal prime decomposition for semiprime ideals is defined and studied on z-ideals of C(X). The necessary and sufficient condition for existence of the minimal prime decomposition of a z-ideal / is given, when / satisfies one of the following conditions: (i) / is an intersection of maximal ideals. (ii) I is an intersection of O , s, when X is basically disconnected. (iii) I=O , when x X h...

The quantum-event / prime ideal in a category/ noncommutative-point alternative to classical-event / commutative prime ideal/ point is suggested. Ideals in additive categories, prime spectra and representation of quivers are considered as mathematical tools appropriate to model quantum mechanics. The space-time framework is to be reconstructed from the spectrum of the path category of a quiver....

In this paper, we first introduce the new concept of completely semiprime fuzzy ideals of an ordered semigroup S, which is an extension of completely semiprime ideals of ordered semigroup S, and investigate some its related properties. Especially, we characterize an ordered semigroup that is a semilattice of simple ordered semigroups in terms of completely semiprime fuzzy ideals of ordered semi...

1 Definitions Definition 1. A graded ring is a ring S together with a set of subgroups Sd, d ≥ 0 such that S = ⊕ d≥0 Sd as an abelian group, and st ∈ Sd+e for all s ∈ Sd, t ∈ Se. One can prove that 1 ∈ S0 and if S is a domain then any unit of S also belongs to S0. A homogenous ideal of S is an ideal a with the property that for any f ∈ a we also have fd ∈ a for all d ≥ 0. A morphism of graded r...

In this paper, we are interested in the question of separating two characters of the absolute Galois group of a number field K, by the Frobenius of a prime ideal p of OK . We first recall an upper bound for the norm N(p) of the smallest such prime p, depending on the conductors and on the degrees. Then we give two applications: (i) find a prime number p for which P (mod p) has a certain type of...

the minimal prime decomposition for semiprime ideals is defined and studied on z-ideals of c(x). the necessary and sufficient condition for existence of the minimal prime decomposition of a z-ideal / is given, when / satisfies one of the following conditions: (i) / is an intersection of maximal ideals. (ii) i is an intersection of o , s, when x is basically disconnected. (iii) i=o , when x x ha...