No label defined (Q4027474)

[For the entire collection see Zbl 0744.00027.] A space \(X\) is said to be monotonically normal (MN) provided for each \(x\in X\) and open \(G \ni x\), one can assign an open set \(\mu(x,G) \subset G\) containing \(x\) so that if \(\mu(x,G) \cap \mu(y,H) \neq \emptyset\), either \(x \in H\) or \(y \in G\). The authors show that the Suslin hypothesis is equivalent to every ccc MN space being separable. They define a space to be extremely normal (EN) if the operator \(\mu\) has the stronger property that for \(x \neq y\), if \(\mu(x,G) \cap \mu(y,H) \neq \emptyset\), then either \(\mu(x,G) \subset H\) or \(\mu(y,H) \subset G\). They show that such spaces are hereditarily paracompact, and that a space is protometrizable if and only if it is an EN space with each of its points having a linearly ordered base. The paper also contains results pertaining to (locally) compact EN spaces.