Logo
User: Guest  Login
Authors:
Hölzl, Rupert; Stephan, Frank; Yu, Liang 
Document type:
Zeitschriftenartikel / Journal Article 
Title:
On Martin's pointed tree theorem 
Journal:
Computability 
Volume:
Issue:
Year:
2016 
Pages from - to:
147-157 
Language:
Englisch 
Keywords:
Reverse mathematics ; algorithmic randomness ; Martin’s pointed tree theorem ; weak Martin’s pointed tree theorem 
Department:
Fakultät für Informatik 
Institute:
INF 1 - Institut für Theoretische Informatik, Mathematik und Operations Research 
Chair:
Brattka, Vasco 
Open Access yes or no?:
Nein / No