A nodec regular analytic topology (Q2440859)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A nodec regular analytic topology
scientific article

    Statements

    A nodec regular analytic topology (English)
    0 references
    0 references
    0 references
    20 March 2014
    0 references
    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.
    0 references
    0 references
    0 references
    0 references
    0 references
    maximal topologies
    0 references
    nodec countable spaces
    0 references
    analytic sets
    0 references
    0 references