On two topological cardinal invariants of an order-theoretic flavour

DOI10.1016/J.APAL.2012.05.011MaRDI QIDQ714720zbMATH OpenOpenAlexFDO

Publication date 11 October 2012

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1212.5725

box product Chang conjecture Noetherian \(\pi\)-type Noetherian type OIF space Pixley-Roy hyperspace Souslin line

Ordered sets and their cofinalities; pcf theory (03E04) Cardinality properties (cardinal functions and inequalities, discrete subsets) (54A25)

Abstract: Noetherian type and Noetherian

p i

-type are two cardinal functions which were introduced by Peregudov in 1997, capturing some properties studied earlier by the Russian School. Their behavior has been shown to be akin to that of the emph{cellularity}, that is the supremum of the sizes of pairwise disjoint non-empty open sets in a topological space. Building on that analogy, we study the Noetherian

p i

-type of

k a p p a

-Suslin Lines, and we are able to determine it for every

k a p p a

up to the first singular cardinal. We then prove a consequence of Chang's Conjecture for

a l e p h_{o} m e g a

regarding the Noetherian type of countably supported box products which generalizes a result of Lajos Soukup. We finish with a connection between PCF theory and the Noetherian type of certain Pixley-Roy hyperspaces.

Review text

Following [\textit{S. A. Peregudov}, Commentat. Math. Univ. Carol. 38, No. 3, 581--586 (1997; Zbl 0937.54003)], the author defines for a topological space \(X\) the \textit{Noetherian type of} \(X\), denoted \(\operatorname{Nt}(X)\), as the minimum cardinal \(\kappa\) such that every \(\subseteq\)-bounded subfamily of a base for the space has cardinality strictly less than \(\kappa\). He also defines \(\pi \operatorname{Nt}(X)\) in the obvious way using a \(\pi\)-base instead of a base. The author improves a theorem by D. Milovich showing that the Noetherian \(\pi\)-type of a \(\kappa\)-Souslin line is \(\kappa^+\) whenever \(\kappa<\aleph_\omega\); he remarks that the general case remains open. He also studies the effect of Chang's conjecture for \(\aleph_\omega\) to compute the Noetherian \(\pi\)-type of countable supported box products of some regular spaces. For instance, assuming Chang's conjecture for \(\aleph_\omega\), the \(\sigma\)-product of \(2^{\aleph_\omega}\) with the topology induced by the countable supported boxes has Noetherian \(\pi\)-type equal to \(\aleph_2\). He ends the paper studying the Noetherian type of Pixley-Roy hyperspaces. A nice result he presents, is that the gap between the Noetherian type of \(X\) and that of its Pixley-Roy hyperspace can be as large as the gap between \(\aleph_4\) and \(\aleph_\alpha\), for any \(\alpha<\omega_1\).

Recommendations

Cites work

Cited in

(5)

This page was built for publication: On two topological cardinal invariants of an order-theoretic flavour

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q714720)