Open Access
2016 Controlling Effective Packing Dimension of Δ20 Degrees
Jonathan Stephenson
Notre Dame J. Formal Logic 57(1): 73-93 (2016). DOI: 10.1215/00294527-3328401

Abstract

This paper presents a refinement of a result by Conidis, who proved that there is a real X of effective packing dimension 0<α<1 which cannot compute any real of effective packing dimension 1. The original construction was carried out below '', and this paper’s result is an improvement in the effectiveness of the argument, constructing such an X by a limit-computable approximation to get XT'.

Citation

Download Citation

Jonathan Stephenson. "Controlling Effective Packing Dimension of Δ20 Degrees." Notre Dame J. Formal Logic 57 (1) 73 - 93, 2016. https://doi.org/10.1215/00294527-3328401

Information

Received: 23 February 2013; Accepted: 29 September 2013; Published: 2016
First available in Project Euclid: 16 November 2015

zbMATH: 1352.03048
MathSciNet: MR3447726
Digital Object Identifier: 10.1215/00294527-3328401

Subjects:
Primary: 03D32
Secondary: 68Q30

Keywords: Complexity , effective packing dimension , limit-computable approximation , pruned clumpy trees

Rights: Copyright © 2016 University of Notre Dame

Vol.57 • No. 1 • 2016
Back to Top