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.

PropertyValue
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
  • Martin measure
owl:sameAs
skos:subject
foaf:page