On Martin's Pointed Tree Theorem

2014/04/08 by Rupert Hölzl, Hölzl, Rupert, Frank Stephan +3
Computer Science · Mathematics · #03D28 #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #Quantum Computing Algorithms and Architecture #math.LO #msc:03D28

paper · pdf · doi:10.48550/arxiv.1404.2073

arxiv created 2014/04/08 · openalex publication_date 2014/04/08 · arxiv updated 2014/04/09 · openalex created_date 2019/06/27 · openalex updated_date 2026/07/28

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).

Related

• Diamond on Kurepa trees
• Gregory Trees, The Continuum, And Martin's Axiom
• The strength of the tree theorem for pairs in reverse mathematics
• A complete proof of The Graceful Tree Conjecture using the concept of Edge Degree
• Leaf management