research

On Martin's Pointed Tree Theorem

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)

    Similar works

    Full text

    thumbnail-image

    Available Versions