In descriptive set theory, the Martin measure is a filter on the set of Turing degrees of sets of natural numbers. Under the axiom of determinacy it can be shown to be an ultrafilter.
| Property | Value |
| dbpprop:abstract
|
- In descriptive set theory, the Martin measure is a filter on the set of Turing degrees of sets of natural numbers. Under the axiom of determinacy it can be shown to be an ultrafilter.
|
| dbpprop:hasPhotoCollection
| |
| rdfs:comment
|
- In descriptive set theory, the Martin measure is a filter on the set of Turing degrees of sets of natural numbers. Under the axiom of determinacy it can be shown to be an ultrafilter.
|
| rdfs:label
| |
| owl:sameAs
| |
| skos:subject
| |
| foaf:page
| |