English

On the ideal $(v^0)$

Logic 2008-03-03 v3 Combinatorics General Topology

Abstract

The σ\sigma-ideal (v0)(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 (v0)(v^0) to the family of Ramsey null sets. To describe add(v0)add(v^0) we adopt a proof of Base Matrix Lemma. Consistent results are stated, too. Halbeisen's conjecture cov(v0)=add(v0)cov(v^0) = add(v^0) is confirmed under the hypothesis t=min{\cf(c),r}t= \min \{\cf (\frak c), r\} . The hypothesis h=ω1h=\omega_1 implies that (v0)(v^0) has the ideal type (c,ω1,c)(\frak c, \omega_1,\frak c).

Keywords

Cite

@article{arxiv.0709.3016,
  title  = {On the ideal $(v^0)$},
  author = {Piotr Kalemba and Szymon Plewik and Anna Wojciechowska},
  journal= {arXiv preprint arXiv:0709.3016},
  year   = {2008}
}

Comments

Accepted for publication in CEJM

R2 v1 2026-06-21T09:19:05.427Z