Translator Disclaimer
2010 Effective Packing Dimension and Traceability
Rod Downey, Keng Meng Ng
Notre Dame J. Formal Logic 51(2): 279-290 (2010). DOI: 10.1215/00294527-2010-017

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 T ′′ which is hyperimmune-free and not c.e. traceable such that every real α T A has effective packing dimension 0. We construct a real B T which is not c.e. traceable such that every real α T B has effective packing dimension 0.

Citation

Download Citation

Rod Downey. Keng Meng Ng. "Effective Packing Dimension and Traceability." Notre Dame J. Formal Logic 51 (2) 279 - 290, 2010. https://doi.org/10.1215/00294527-2010-017

Information

Published: 2010
First available in Project Euclid: 11 June 2010

zbMATH: 1204.03042
MathSciNet: MR2667937
Digital Object Identifier: 10.1215/00294527-2010-017

Subjects:
Primary: 03D32

Rights: Copyright © 2010 University of Notre Dame

JOURNAL ARTICLE
12 PAGES


SHARE
Vol.51 • No. 2 • 2010
Back to Top