Author:
Jackson Steve,Löwe Benedikt
Abstract
AbstractWe 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).
Publisher
Cambridge University Press (CUP)
Reference11 articles.
1. Ad and the projective ordinals
2. Jackson Steve and Khafizov Farid T. , Descriptions and cardinals below , this Journal, to appear.
3. Ad and projective ordinals
4. Kleinberg sequences and partition cardinals below δ51
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Capacities and analytic sets;Large Cardinals, Determinacy and Other Topics;2020-11-05
2. On Vaught’s conjecture;Large Cardinals, Determinacy and Other Topics;2020-11-05
3. The extender algebra and Σ21-absoluteness;Large Cardinals, Determinacy and Other Topics;2020-11-05
4. AD and the uniqueness of the supercompact measures on ℘ꞷ1 (λ);Large Cardinals, Determinacy and Other Topics;2020-11-05
5. Subsets of ℵ1 constructible from a real;Large Cardinals, Determinacy and Other Topics;2020-11-05