Abstract
We work under the assumption of the Axiom of Determinacy and associate a measure to each cardinal $\kappa < \aleph_{\varepsilon_0}$ 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).
Citation
Steve Jackson. Benedikt Löwe. "Canonical measure assignments." J. Symbolic Logic 78 (2) 403 - 424, June 2013. https://doi.org/10.2178/jsl.7802040
Information