We introduce the notion of ideal, prime ideal, lter, fuzzy ideal, fuzzy prime ideal, fuzzy lter of ordered $Gamma$-semiring and study their properties and relations between them. We characterize the prime ideals and lters of ordered $Gamma$-semiring with respect to fuzzy ideals and fuzzy l- ters respectively.

In this paper, we prove that the Strong Novikov Conjecture for a residually finite group is essentially equivalent to the Coarse Geometric Novikov Conjecture for a certain metric space associated to the group. As an application, we obtain the Coarse Geometric Novikov Conjecture for a large class of sequences of expanders.

H is the theory extending β-conversion by identifying all closed unsolvables. Hω is the closure of this theory under the ω-rule (and β-conversion). A long-standing conjecture of H. Barendregt states that the provable equations of Hω form a Π11-complete set. Here we prove that conjecture.

The concepts of (∈γ ,∈γ ∨ qδ)-fuzzy h-ideals and (∈γ ,∈γ ∨ qδ)-fuzzy hinterior ideals in hemirings are introduced. Some new characterization theorems of these kinds of fuzzy h-ideals are also given. In particular, we investigate prime and strong prime (∈γ ,∈γ ∨ qδ)-fuzzy h-ideals in hemirings. Finally, we show that the h-hemiregular and h-semisimple hemirings can be described by using these kin...

in this paper we study some results on noetherian semigroups. we  show that if  $s_s$ is an  strongly  faithful $s$-act and $s$ is a duo weakly noetherian, then we have the following.

Continuing the investigations of X. Yu and others, we study the role of set existence axioms in classical Lebesgue measure theory. We show that pairwise disjoint countable additivity for open sets of reals is provable in RCA0. We show that several well-known measure-theoretic propositions including the Vitali Covering Theorem are equivalent to WWKL over RCA0.