ECCC-Report TR05-060https://eccc.weizmann.ac.il/report/2005/060Comments and Revisions published for TR05-060en-usSat, 04 Jun 2005 04:50:41 +0300
Paper TR05-060
| Generic Density and Small Span Theorem |
Philippe Moser
https://eccc.weizmann.ac.il/report/2005/060 We refine the genericity concept of Ambos-Spies et al, by assigning a real number in $[0,1]$ to every generic set, called its generic density.
We construct sets of generic density any E-computable real in $[0,1]$.
We also introduce strong generic density, and show that it is related to packing dimension.
We show that all four notions are different.
We show that whereas dimension notions depend on the underlying probability measure, generic density does not, which implies that every dimension result proved by generic density arguments,
simultaneously holds under any (biased coin based) probability measure.
We prove such a result: we improve the small span theorem of Juedes and Lutz to the packing dimension setting, for $k$-bounded-truth-table reductions, under any (biased coin) probability measure.
Sat, 04 Jun 2005 04:50:41 +0300https://eccc.weizmann.ac.il/report/2005/060