Dice Question Streamline Icon: https://streamlinehq.com

Existence in ZFC of a perfectly normal, separable, exponentially separable uncountable space

Determine whether, within ZFC, there exists an uncountable topological space that is perfectly normal, separable, and exponentially separable.

Information Square Streamline Icon: https://streamlinehq.com

Background

The authors construct an uncountable separable exponentially separable space but note it is not perfectly normal. Under additional set-theoretic assumptions (Ostaszewski space), they obtain an example that is perfectly normal, hereditarily separable, and exponentially separable.

They ask whether such an example can be obtained in ZFC, highlighting a gap between consistency results and ZFC constructions.

References

  1. Question Is there in ZFC an example of a perfectly normal, separable exponentially separable uncountable space?
Comparing functional countability and exponential separability (2403.15552 - Hernández-Gutiérrez et al., 22 Mar 2024) in Question 24, Section 4