A constructive version of Hausdorff dimension is developed using constructive supergales, which are betting strategies that generalize the constructive supermartingales used in the theory of individual random sequences. This constructive dimension is used to assign every individual (infinite, binary) sequence S a dimension, which is a real number dim(S) in the interval [0, 1]. Sequences that

Supergales, generalizations of supermartingales, have been used by Lutz (2002) to define the constructive dimensions of individual binary sequences. Here it is shown that gales, the corresponding generalizations of martingales, can be equivalently used to define constructive dimension. 1

z. The dimensions of individual strings and sequences. Information and Computation, 187(1):49--79, 2003. [23] J. H. Lutz. E#ective fractal dimensions. In Computability and Complexity in Analysis, volume 302 of Informatik Berichte, pages 81--97. FernUniversitat in Hagen, August 2003. To appear in Mathematical Logic Quarterly. [24] E. Mayordomo. E#ective Hausdor# dimension. In Proceedings of Foundations of the Formal Sciences III. Kluwer Academic Press. To appear. [25] E. Mayordomo. A Kolmogorov complexity characterization of constructive Hausdor# dimension. Information Processing Letters, 84(1):1--3, 2002. [26] P. Moser. BPP has e#ective dimension at most 1/2 unless BPP = EXP. Technical Report TR03-029, Electronic Colloquium on Computational Complexity, 2003. [27] S. Reid. The classes of algorithmically random reals. Master's thesis, Victoria University of Wellington, 2003. [28] L. Staiger. Constructive dimension equals Kolmogorov complexity. Technical Report CDMTCS-210, Universi