Canonical Measure Assignments
Steve Jackson, Benedikt Löwe

Abstract:
We work under the assumption of the Axiom of Determinacy and associate
a measure to each cardinal below the supremum of the projective
ordinals in a recursive definition of a canonical measure
assignment. We give algorithmic applications of the existence of such
a canonical measure assignment (computation of cofinalities,
computation of the Kleinberg sequences associated to the normal
ultrafilters on all projective ordinals).