Effective Packing Dimension and Traceability

Notre Dame Journal of Formal Logic 51 (2):279-290 (2010)
  Copy   BIBTEX

Abstract

We study the Turing degrees which contain a real of effective packing dimension one. Downey and Greenberg showed that a c.e. degree has effective packing dimension one if and only if it is not c.e. traceable. In this paper, we show that this characterization fails in general. We construct a real $A\leq_T\emptyset''$ which is hyperimmune-free and not c.e. traceable such that every real $\alpha\leq_T A$ has effective packing dimension 0. We construct a real $B\leq_T\emptyset'$ which is not c.e. traceable such that every real $\alpha\leq_T B$ has effective packing dimension 0

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 99,445

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Analytics

Added to PP
2010-08-13

Downloads
37 (#496,721)

6 months
8 (#427,927)

Historical graph of downloads
How can I increase my downloads?