Controlling effective packing dimension of \(\Delta_2^0\) degrees (Q5963200)
From MaRDI portal
scientific article; zbMATH DE number 6550121
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Controlling effective packing dimension of \(\Delta_2^0\) degrees |
scientific article; zbMATH DE number 6550121 |
Statements
Controlling effective packing dimension of \(\Delta_2^0\) degrees (English)
0 references
4 March 2016
0 references
The major result of the paper under review is that there is a \(\Delta^0_2\)-real \(x\) so that \(x\) has effective packing dimension strictly between 0 and 1 but does not compute any real of effective packing dimension 1.
0 references
effective packing dimension
0 references
limit-computable approximation
0 references
pruned clumpy trees
0 references
