Mathematical Logic Quarterly 54 (5):483-491 (2008)

This paper initiates the study of sets in Euclidean spaces ℝn that are defined in terms of the dimensions of their elements. Specifically, given an interval I ⊆ [0, n ], we are interested in the connectivity properties of the set DIMI, consisting of all points in ℝn whose dimensions lie in I, and of its dual DIMIstr, consisting of all points whose strong dimensions lie in I. If I is [0, 1) or
Keywords Kolmogorov complexity  dimension level sets  computable analysis  constructive dimension
Categories (categorize this paper)
DOI 10.1002/malq.200710060
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 70,192
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Von Mises' Definition of Random Sequences Reconsidered.Michiel van Lambalgen - 1987 - Journal of Symbolic Logic 52 (3):725-755.

Add more references

Citations of this work BETA

Completeness, Compactness, Effective Dimensions.Stephen Binns - 2013 - Mathematical Logic Quarterly 59 (3):206-218.

Add more citations

Similar books and articles

Effective Fractal Dimensions.Jack H. Lutz - 2005 - Mathematical Logic Quarterly 51 (1):62-72.
Finite Computable Dimension Does Not Relativize.Charles F. D. McCoy - 2002 - Archive for Mathematical Logic 41 (4):309-320.
Random Closed Sets Viewed as Random Recursions.R. Daniel Mauldin & Alexander P. McLinden - 2009 - Archive for Mathematical Logic 48 (3-4):257-263.
Prime Models of Finite Computable Dimension.Pavel Semukhin - 2009 - Journal of Symbolic Logic 74 (1):336-348.
The Computable Dimension of Trees of Infinite Height.Russell Miller - 2005 - Journal of Symbolic Logic 70 (1):111-141.
Geometric Properties of Semilinear and Semibounded Sets.Jana Maříková - 2006 - Mathematical Logic Quarterly 52 (2):190-202.
The Hausdorff-Ershov Hierarchy in Euclidean Spaces.Armin Hemmerling - 2006 - Archive for Mathematical Logic 45 (3):323-350.
A Characterization of Constructive Dimension.Satyadev Nandakumar - 2009 - Mathematical Logic Quarterly 55 (2):185-200.
Index Sets and Parametric Reductions.Rod G. Downey & Michael R. Fellows - 2001 - Archive for Mathematical Logic 40 (5):329-348.
Relation Algebras of Every Dimension.Roger D. Maddux - 1992 - Journal of Symbolic Logic 57 (4):1213-1229.


Added to PP index

Total views
21 ( #534,731 of 2,507,503 )

Recent downloads (6 months)
1 ( #416,983 of 2,507,503 )

How can I increase my downloads?


My notes