Silver Measurability and its relation to other regularity properties

For $a\subs b\subs\omega$ with $b{\setminus} a$ infinite, the set $D\,{=}\,\{x\in\reals\,{:}\, a\subs x\subs b\}$ is called a doughnut. Doughnuts are equivalent to conditions of Silver forcing, and so, a set $S\subs\reals$ is called Silver measurable, or completely doughnut, if for every doughnut $D$ there is a doughnut $D'\subs D$ which is contained in or disjoint from $S$. In this paper, we investigate the Silver measurability of $\bDelta$ and $\bSigma$ sets of reals and compare it to other regularity properties like the Baire and the Ramsey property and Miller and Sacks measurability.

[1]  Haim Judah,et al.  Set Theory: On the Structure of the Real Line , 1995 .

[2]  Jörg Brendle,et al.  Solovay-type characterizations for forcing-algebras , 1997, Journal of Symbolic Logic.

[3]  Benedikt Löwe Uniform unfolding and analytic measurability , 1998, Arch. Math. Log..

[4]  Lorenz Halbeisen Making doughnuts of Cohen reals , 2003, Math. Log. Q..

[5]  Otmar Spinas Dominating Projective Sets in the Baire Space , 1994, Ann. Pure Appl. Log..

[6]  F. R. Drake,et al.  THE HIGHER INFINITE. LARGE CARDINALS IN SET THEORY FROM THEIR BEGINNINGS (Perspectives in Mathematical Logic) , 1997 .

[7]  A. Bartoszewicz,et al.  Marczewski Fields and Ideals , 2000 .

[8]  A. H. Lachlan,et al.  Solution to a Problem of Spector , 1971, Canadian Journal of Mathematics.

[9]  Benedikt Löwe,et al.  The Pointwise View of Determinacy: Arboreal Forcings, Measurability and Weak Measurability , 2005 .

[10]  Jorg Brendle,et al.  Strolling through paradise , 2007 .

[11]  Alexander S. Kechris,et al.  New Directions in Descriptive Set Theory , 1999, Bulletin of Symbolic Logic.

[12]  James M. Henle,et al.  Doughnuts, floating ordinals, square brackets, and ultraflitters , 2000, Journal of Symbolic Logic.

[13]  Jaime I. Ihoda Δ 1 2 -sets of reals , 1988 .

[14]  A. Kanamori The higher infinite : large cardinals in set theory from their beginnings , 2005 .

[15]  A. Kechris Classical descriptive set theory , 1987 .

[16]  Jindřich Zapletal Descriptive Set Theory and Definable Forcing , 2004 .

[17]  Alain Louveau,et al.  A Glimm-Effros dichotomy for Borel equivalence relations , 1990 .