This paper introduces an approach to the axiomatic theory of quadratic forms based on {tmem{presentable}} partially ordered sets, that is partially ordered sets subject to additional conditions which amount to a strong form of local presentability. It turns out that the classical notion of the Witt ring of symmetric bilinear forms over a field makes sense in the context of {tmem{quadratically p...

In recent times the fixed point resulting in partially ordered metric spaces has greatly developed. In this paper we prove common fixed point results for multivalued and singlevalued mappings in partially ordered metric space. Our theorems generalized the theorem in [1] and extended much more recent results in such spaces.

in the present paper, we introduces the notion of integral type contractive mapping with respect to ordered s-metric space and prove some coupled common fixed point results of integral type contractive mapping in ordered s-metric space. moreover, we give an example to support our main result.

In this paper, we attempt to investigate the connection between various types of ideals (for examples $(m, n)$-ideal, bi-ideal, interior ideal, quasi ideal, prime ideal and maximal ideal) of an ordered semigroup $(S,cdot ,leq)$ and the correspond hyperideals of its EL-hyperstructure $(S,*)$ (if exists). Moreover, we construct the class of EL-$Gamma$-semihypergroup associated to a partially orde...