Back to Search Start Over

On Martin's pointed tree theorem.

Authors :
Hölzl, Rupert
Stephan, Frank
Liang Yu
Source :
Computability. 2016, Vol. 5 Issue 2, p147-157. 11p.
Publication Year :
2016

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). [ABSTRACT FROM AUTHOR]

Subjects

Subjects :
*REVERSE mathematics
*MATHEMATICS theorems
*ALGORITHMIC randomness
*ALGORITHMS
*SET theory
*RECURSION theory

Details

Language :
English
ISSN :
22113568
Volume :
5
Issue :
2
Database :
Academic Search Index
Journal :
Computability
Publication Type :
Academic Journal
Accession number :
115430477
Full Text :
https://doi.org/10.3233/COM-150047
Full Text Access
View/download PDF

Tools

Authors Abstract Subjects Details