On Martin's pointed tree theorem
10.3233/COM-150047
Saved in:
Main Authors: | , , |
---|---|
Other Authors: | |
Format: | Article |
Published: |
IOS Press
2020
|
Subjects: | |
Online Access: | https://scholarbank.nus.edu.sg/handle/10635/177539 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | National University of Singapore |
id |
sg-nus-scholar.10635-177539 |
---|---|
record_format |
dspace |
spelling |
sg-nus-scholar.10635-1775392024-11-14T17:10:13Z On Martin's pointed tree theorem Hölzl R. Stephan F. Yu L. MATHEMATICS algorithmic randomness Martin's pointed tree theorem Reverse mathematics weak Martin's pointed tree theorem 10.3233/COM-150047 Computability 5 2 147-157 2020-10-15T07:44:00Z 2020-10-15T07:44:00Z 2016 Article Hölzl R., Stephan F., Yu L. (2016). On Martin's pointed tree theorem. Computability 5 (2) : 147-157. ScholarBank@NUS Repository. https://doi.org/10.3233/COM-150047 2211-3568 https://scholarbank.nus.edu.sg/handle/10635/177539 IOS Press |
institution |
National University of Singapore |
building |
NUS Library |
continent |
Asia |
country |
Singapore Singapore |
content_provider |
NUS Library |
collection |
ScholarBank@NUS |
topic |
algorithmic randomness Martin's pointed tree theorem Reverse mathematics weak Martin's pointed tree theorem |
spellingShingle |
algorithmic randomness Martin's pointed tree theorem Reverse mathematics weak Martin's pointed tree theorem Hölzl R. Stephan F. Yu L. On Martin's pointed tree theorem |
description |
10.3233/COM-150047 |
author2 |
MATHEMATICS |
author_facet |
MATHEMATICS Hölzl R. Stephan F. Yu L. |
format |
Article |
author |
Hölzl R. Stephan F. Yu L. |
author_sort |
Hölzl R. |
title |
On Martin's pointed tree theorem |
title_short |
On Martin's pointed tree theorem |
title_full |
On Martin's pointed tree theorem |
title_fullStr |
On Martin's pointed tree theorem |
title_full_unstemmed |
On Martin's pointed tree theorem |
title_sort |
on martin's pointed tree theorem |
publisher |
IOS Press |
publishDate |
2020 |
url |
https://scholarbank.nus.edu.sg/handle/10635/177539 |
_version_ |
1821180924132327424 |