On Martin's Pointed Tree Theorem
  We investigate the reverse mathematics strength of Martin's pointed tree theorem (MPT) and one of its variants, weak Martin's pointed tree theorem (wMPT). 
Rupert H\"olzl, Frank Stephan, Liang Yu
math.LO