Article contents
Canonical measure assignments
Published online by Cambridge University Press: 12 March 2014
Abstract
We work under the assumption of the Axiom of Determinacy and associate a measure to each cardinal κ < ℵ ε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).
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2013
References
REFERENCES
- 1
- Cited by