let $r$ be a commutative ring. the purpose of this article is to introduce a new class of ideals of r called weakly irreducible ideals. this class could be a generalization of the families quasi-primary ideals and strongly irreducible ideals. the relationships between the notions primary, quasi-primary, weakly irreducible, strongly irreducible and irreducible ideals, in different rings, has bee...

Height restricted resolution (proofs or refutations) is a natural restriction of resolution where the height of the corresponding proof tree is bounded. Height restricted resolution does not distinguish between treeand sequence-like proofs. We show that polylogarithmic-height resolution is strongly connected to the bounded arithmetic theory S 2(α). We separate polylogarithmic-height resolution ...

the purpose of this paper is to introduce the concept of pairwise f-closedness in bitopological spaces. this space contains both of pairwise strongcompactness and pairwise s-closedness and contained in pairwise quasi h-closedness. the characteristics and relationships concerning this new class ofspaces with other corresponding types are established. moreover, several ofits basic and important p...

Abstract We prove that an n-component fibered link L in S3 is strongly quasi-positive if and only $\tau(L)=g_3(L)+n-1$, where $g_3(L)$ denotes the Seifert genus τ Ozsváth–Szabó concordance invariant. also provide a table which contains list of some prime links with at most 9 crossings; we explicitly determine ones are their maximal self-linking number.

notions of strongly regular, regular and left(right) regular $gamma$−semigroupsare introduced. equivalent conditions are obtained through fuzzy notion for a$gamma$−semigroup to be either strongly regular or regular or left regular.

Setting of this research is Bishop’s constructive mathematics, the mathematics developed on Intuitionistic logic. If (X, =, 6=, θ) is an anti-ordered set, for a coequality q on X we say that it is strongly regular if it is regular and θ ◦ q ⊆ q ◦ θ holds. In this case, θ ◦ q is a quasi-antiorder relation on X such that the relation Θ = π ◦ θ ◦ π−1 on X/q is the maximal anti-order on X/q.