Controlling effective packing dimension of \(\Delta_2^0\) degrees (Q5963200)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6550121
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.8338499069213867
0 references
0.8143007159233093
0 references
0.8082495927810669
0 references
0.8069266080856323
0 references
0.8049030900001526
0 references
