If X is a locale, then its double powerlocale PX is defined to be PU(PL(X)) where PU and PL are the upper and lower powerlocale constructions. We prove various results relating it to exponentiation of locales, including the following. First, if X is a locale for which the exponential S exists (where S is the Sierpinski locale), then PX is an exponential S X . Second, if in addition W is a local...

Depuis la fin de Yougoslavie, Bosnie-Herzégovine a connu nombreuses transformations politiques et économiques. L’une des évolutions récentes dernière décennie été prolifération nouveaux supermarchés centres commerciaux, signes d’un secteur services plus en dominant. Cet article analyse figure homme d’affaires entrepreneur local, qui créé grande entreprise commerce détail Bosnie. Il propose une ...

Shabir and Naz in [27] introduced the notion of soft topological spaces. They defined soft topology on the collection τ of soft sets over X . Consequently, they defined soft separation axioms, soft regular spaces and soft normal spaces and established their several properties. Min in [30] investigate some properties of these soft separation axioms. Kandil et al. [12] introduce the notion of sof...

The security of multivariate cryptosystems and digital signature schemes relies on the hardness solving a system polynomial equations over finite field. Polynomial is also currently bottleneck index-calculus algorithms to solve elliptic hyperelliptic curve discrete logarithm problem. complexity closely related cost computing Gröbner bases, since solutions can be reduced finding lexicographic ba...