On Martin's Pointed Tree Theorem
Logic
2014-04-09 v1
Abstract
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).
Keywords
Cite
@article{arxiv.1404.2073,
title = {On Martin's Pointed Tree Theorem},
author = {Rupert Hölzl and Frank Stephan and Liang Yu},
journal= {arXiv preprint arXiv:1404.2073},
year = {2014}
}