A nodec regular analytic topology (Q2440859): Difference between revisions

A~space~\(X\) is called maximal if its topology is maximal in the collection of all \(T_1\)~topologies over~\(X\) without isolated points. \(X\)~is a~nodec space if every nowhere dense set in~\(X\) is closed. \(X\)~is irresolvable if it cannot be expressed as the union of two disjoint subsets. It is known that a~topological space~\(X\) is maximal if and only if \(X\)~is extremely disconnected, nodec, and every open set in~\(X\) is irresolvable. A~countable topological space~\(X\) is said to be analytic if its topology is an analytic subset of \(\mathcal P(X)\). The authors of the paper under the review are interested in the complexity of countable maximal spaces with the above properties. They prove that no extremally disconnected space is analytic and every analytic set is hereditarily resolvable. They show that there is an analytic regular nodec space without isolated points.