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.

in this paper, we proposed a novel structure for designing all optical filter based on photonic crystal structure. in designing the proposed filter, we simply employed a point defect localized between input and output waveguides as wavelength selecting part of the filter. the initial form of this filter is capable of selecting optical waves at =1560 nm, the transmission efficiency of the filte...