Borel determinacy theorem
The theorem was proved by Donald A . Martin in 1975 , and is applied in descriptive set theory to show that Borel sets in Polish spaces have regularity properties such as the perfect set property and the property of Baire . 
<triplet> Donald A. Martin <subj> set theory <obj> field of work