Canonical measure assignments
| Authors |
|
|---|---|
| Publication date | 06-2013 |
| Journal | Journal of Symbolic Logic |
| Volume | Issue number | 78 | 2 |
| Pages (from-to) | 403-424 |
| Organisations |
|
| 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). |
| Document type | Article |
| Note | © Association for Symbolic Logic 2013 |
| Language | English |
| Published at | https://doi.org/10.2178/jsl.7802040 |
| Published at | https://projecteuclid.org/euclid.jsl/1368627057 |
| Downloads |
Canonical measure assignments
(Final published version)
|
| Permalink to this page | |