Tree \(\pi\)-bases for \(\beta N-N\) in various models (Q911086)

From MaRDI portal
Revision as of 15:16, 20 June 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Tree \(\pi\)-bases for \(\beta N-N\) in various models
scientific article

    Statements

    Tree \(\pi\)-bases for \(\beta N-N\) in various models (English)
    0 references
    0 references
    1989
    0 references
    Let \(N^*\) denote the Čech-Stone remainder of the discrete space N. It is known that \(N^*\) has a \(\pi\)-base which forms a tree when ordered by reverse inclusion [\textit{B. Balcar}, \textit{J. Pelant} and \textit{P. Simon}, Fundam. Math. 110, 11-24 (1980; Zbl 0568.54004)]. This interesting fact can be used to study the Novák number n of \(N^*\), i.e., the minimum cardinality of a family of nowhere dense sets covering \(N^*\). Let h denote the minimum height of a tree \(\pi\)-base of \(N^*\). It is known that h is equal to the weak Novák number of \(N^*\), i.e., the minimum number of nowhere dense sets with dense union. A Parovičenko space is a compact zero-dimensional F-space of weight c in which each nonempty \(G_{\delta}\) has infinite interior. It is known that under CH all Parovičenko spaces are homeomorphic to \(N^*\), that every Parovičenko space has a tree \(\pi\)-base, and that two Parovičenko spaces are coabsolute (i.e., have isomorphic regular open algebras) iff they have isomorphic tree \(\pi\)-bases. There exist non- coabsolute Parovičenko spaces in various models, but they were produced with different Novák or weak Novák numbers. (It is obvious that coabsolute spaces have the same Novák and weak Novák numbers.) In this very interesting paper the author presents among other things examples of non-coabsolute Parovičenko spaces having the same Novák and weak Novák numbers. He also produces a model in which \(n=h=\omega_ 2\) and computes some of the other ``small'' cardinals related to \(N^*\) in a few of the more common forcing extensions.
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    Laver forcing
    0 references
    (weak) Novák number
    0 references
    Čech-Stone remainder of the discrete space
    0 references
    tree \(\pi\)-base
    0 references
    Parovičenko space
    0 references
    non-coabsolute Parovičenko spaces
    0 references
    forcing extensions
    0 references
    0 references