On the ideal (v^0)

Cardinal characteristics of the continuum (03E17) Consistency and independence results (03E35) Continuum hypothesis and Martin's axiom (03E50) Classes of sets (Borel fields, (sigma)-rings, etc.), measurable sets, Suslin sets, analytic sets (28A05) Several topologies on one set (change of topology, comparison of topologies, lattices of topologies) (54A10)

Abstract: The

s i g m a

-ideal

(v^{0})

is associated with the Silver forcing, see cite{bre}. Also, it constitutes the family of all completely doughnut null sets, see cite{hal}. We introduce segments and

*

-segments topologies, to state some resemblances of

(v^{0})

to the family of Ramsey null sets. To describe

a d d (v^{0})

we adopt a proof of Base Matrix Lemma. Consistent results are stated, too. Halbeisen's conjecture

c o v (v^{0}) = a d d (v^{0})

is confirmed under the hypothesis

t = m i n c f (f r a k c), r

. The hypothesis

h = o m e g a_{1}

implies that

(v^{0})

has the ideal type

(f r a k c, o m e g a_{1}, f r a k c)

.

Review text

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.

Recommendations

Cites work

Cited in

(4)

This page was built for publication: On the ideal \((v^{0})\)

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