Abstract
AbstractWe survey the theory of Mučnik (weak) and Medvedev (strong) degrees of subsets of ωω with particular attention to the degrees of subsets of ω2. Sections 1–6 present the major definitions and results in a uniform notation. Sections 7–16 present proofs, some more complete than others, of the major results of the subject together with much of the required background material.
Publisher
Cambridge University Press (CUP)
Reference53 articles.
1. Calculus of the weak law of the excluded middle. (Russian);Jankov;Rossiľskaya Akademiya Nauk Izvestiya. Seriya Matematicheskaya,1968
2. Degrees of models
3. Algorithmic Randomness and Complexity
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Highness properties close to PA completeness;Israel Journal of Mathematics;2021-09
2. RANDOMNESS NOTIONS AND REVERSE MATHEMATICS;The Journal of Symbolic Logic;2019-09-09
3. Levels of Uniformity;Notre Dame Journal of Formal Logic;2019-01-01
4. Π10-Encodability and Omniscient Reductions;Notre Dame Journal of Formal Logic;2019-01-01
5. FEEDBACK COMPUTABILITY ON CANTOR SPACE;LOG METH COMPUT SCI;2019