 Martin measure

In descriptive set theory, the Martin measure is a filter on the set of Turing degrees of sets of natural numbers, named after Donald A. Martin.Under the axiom of determinacy it can be shown to be an ultrafilter.