Abstract:
Supergales, generalizations of supermartingales,
have been used by Lutz
(2003) 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.
Journal Version: