Splittings
type: Item
instance of: scholarly article
title: Splittings
zbMATH Open document ID: 0852.04004
published in: Archive for Mathematical Logic
publication date: 1996-12-01T00:00:00Z
review text: The authors investigate possible sizes of splitting families of sets. In general a family \({\mathcal S}\) is said to split the family \({\mathcal A}\) if for every infinite disjoint subfamily \({\mathcal A}'\) there is \(S\in {\mathcal S}\) such that the families \(\{A\in {\mathcal A}': A\subseteq S\}\) and \(\{A\in {\mathcal A}': A\cap S= \emptyset\}\) are both infinite. The minimum size of such an \({\mathcal S}\) is denoted by \({\mathfrak s} ({\mathcal A})\). It is shown that \({\mathfrak s} ([ \omega ]^{<\omega})= \max \{{\mathfrak s},{\mathfrak b}\}\) and hence that \({\mathfrak s}([\omega ]^{<\omega})\) may be \(\omega_1\) while \({\mathfrak c}\) is big. The authors also determine the splitting number of three clopen bases for the Cantor set: \({\mathcal B}_0= \{[ s]: s\in 2^{<\omega}\}\), the canonical base \({\mathcal B}_1\) for the product topology and the family \({\mathcal B}_2\) of all clopen sets. It is easily seen that \({\mathfrak s} ({\mathcal B}_0)\leq {\mathfrak s} ({\mathcal B}_1) \leq {\mathfrak s} ({\mathcal B}_2)\); the authors show that \({\mathfrak s} ({\mathcal B}_1)= {\mathfrak c}\) and that \({\mathfrak s} ({\mathcal B}_0)= {\mathfrak c}\) is not larger than the cofinality of the ideal of measure zero sets; this solves a well-known problem of P. Simon.
reviewed by: K. P. Hart
Mathematics Subject Classification ID: 03E05
Mathematics Subject Classification ID: 54A25
zbMATH DE Number: 887160
zbMATH Keywords: sizes of splitting families of sets
zbMATH Keywords: splitting number
zbMATH Keywords: Cantor set
zbMATH Keywords: product topology
zbMATH Keywords: clopen sets
zbMATH Keywords: cofinality of the ideal of measure zero sets
author: Anastasis Kamburelis
author: B. Weglorz
MaRDI profile type: Publication
full work available at URL: s001530050044
OpenAlex ID: W3188658974
cites work: Adjoining dominating functions
cites work: There may be simple \(P_{\aleph _ 1}\)- and \(P_{\aleph _ 2}\)-points and the Rudin-Keisler ordering may be downward directed
cites work: Q4278337
cites work: Q3337413
cites work: Definable forcing axiom: An alternative to Martin's axiom
cites work: Q3347869
cites work: Q3852172
cites work: Set theory. An introduction to independence proofs
cites work: Q3353777
cites work: Partitions and filters
cites work: Simple forcing notions and forcing axioms
cites work: Q4848580
cites work: Q3998752
DOI: 10.1007/S001530050044
description: scientific article; zbMATH DE number 887160