Release time:2020-01-10
Journal:Transactions of the American Mathematical Society
Volume:367
Issue:3
Page Number:1609-1630
Translation or Not:no
Links to published journals:https://arxiv.org/abs/1602.03777
Pre One:RT22 does not imply WKL0
Next One:A computable analysis of variable words theorems
The Last Update Time:..