On Martin's Pointed Tree Theorem
classification
🧮 math.LO
keywords
martinpointedtheoremtreeinvestigatemathematicsreversestrength
read the original 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).
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.