On the ideal \((v^{0})\) (Q931600)

A~segment is a~set of the form \(\langle A,B\rangle= \{X\in[\omega]^\omega:A\subseteq X\subseteq B\}\) where \(A\subseteq B\subseteq\omega\) and \(B\setminus A\) is infinite. A~set \(S\subseteq[\omega]^\omega\) is called a~\(v\)-set if for each segment \(\langle A,B\rangle\) there exists a~segment \(\langle C,D\rangle\subseteq\langle A,B\rangle\) such that \(\langle C,D\rangle\subseteq S\) or \(\langle C,D\rangle\cap S=\emptyset\). A~\(v\)-set~\(S\) is a~\(v^0\)-set if there is no segment \(\langle A,B\rangle\subseteq S\). Similarly, uncountable sets of the form \(\langle A,B\rangle^*= \{X\in[\omega]^\omega:A\subseteq^*X\subseteq^*B\}\) are called \(*\)-segments. The authors show that for \(*\)-segments ordered by inclusion a~variant of the Base Matrix Lemma holds and the least height of a~\(v\)-base matrix is equal to \(\text{add}(v^0)\). If \(\mathfrak t=\min\{\text{cf}(\mathfrak c),\mathfrak r\}\), then \(\text{cov}(v^0)=\text{add}(v^0)\). The authors introduce segment topologies and topologies generated by base \(v\)-matrices and prove that nowhere dense sets in every such topology are exactly \(v^0\)-sets. Some more cardinal inequalities and combinatorial properties for the ideal~\((s^0)\) are proved.