Only the usual axioms of set theory are needed to prove the existence of a Baire space whose square is not a Baire space. Assuming the continuum hypothesis (CH), Oxtoby [9] constructed a Baire space whose square is not Baire. We will show in this paper that the assumption of CH is unnecessary. Such results are greatly enhanced by Krom [5], who showed that if there is such an example, then there...

We present a construction which shows that the Tiordered reflection (i ∈ {0, 1, 2}) of a partially ordered topological space (X, τ,≤) exists and is an ordered quotient of (X, τ,≤). We give an explicit construction of the T0-ordered reflection of an ordered topological space (X, τ,≤), and characterize ordered topological spaces whose T0-ordered reflection is T1-ordered. 2000 AMS Classification: ...

This article describes the solvability of HornSAT and CNFSAT. Unsatisfiable HornCNF have partially ordered set that is made by causation of each clauses. In this partially ordered set, Truth value assignment that is false in each clauses become simply connected space. Therefore, if we reduce CNFSAT to HornSAT, we must make such partially ordered set in HornSAT. But CNFSAT have correlations of e...

In this paper, we introduce the notion of an extended metric space ($p$-metric space) as a new generalization of the concept of $b$-metric space. Also, we present the concept of $(psi ,varphi )_{Omega}$-contractive mappings and we establish some fixed point results for this class of mappings in ordered complete $p$-metric spaces. Our results generalize several well...