Found 12 Documents (Results 1–12)
Highness properties close to PA completeness. (English) Zbl 1485.03164
Reviewer: Liang Yu (Nanjing)
Muchnik degrees and cardinal characteristics. (English) Zbl 1485.03160
Reviewer: Jamalbek Tussupov (Astana)
Effective bi-immunity and randomness. (English) Zbl 1485.03163
Day, Adam (ed.) et al., Computability and complexity. Essays dedicated to Rodney G. Downey on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 10010, 633-643 (2017).
MSC:
03D32
Covering the recursive sets. (English) Zbl 1422.03088
The weakness of being cohesive, thin or free in reverse mathematics. (English) Zbl 1368.03018
Reviewer: Jeffry L. Hirst (Boone)
Ramsey-type graph coloring and diagonal non-computability. (English) Zbl 1342.03015
Reviewer: Jeffry L. Hirst (Boone)
Degrees of unsolvability: a tutorial. (English) Zbl 1461.03036
Beckmann, Arnold (ed.) et al., Evolving computability. 11th conference on computability in Europe, CiE 2015, Bucharest, Romania, June 29 – July 3, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9136, 83-94 (2015).
MSC:
03D30
Covering the recursive sets. (English) Zbl 1461.03031
Beckmann, Arnold (ed.) et al., Evolving computability. 11th conference on computability in Europe, CiE 2015, Bucharest, Romania, June 29 – July 3, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9136, 44-53 (2015).
Shift-complex sequences. (English) Zbl 1285.03057
Filter Results by …
Document Type
- Journal Articles (9)
- Collection Articles (3)
all
top 5
Author
- Patey, Ludovic (4)
- Kjos-Hanssen, Bjørn (3)
- Khan, Mushfeq (2)
- Nies, André Otfrid (2)
- Stephan, Frank (2)
- Terwijn, Sebastiaan A. (2)
- Beros, Achilles A. (1)
- Bienvenu, Laurent (1)
- Dzhafarov, Damir D. (1)
- Greenberg, Noam (1)
- Liu, Lu (1)
- Miller, Joseph S. (1)
- Monin, Benoît (1)
- Simpson, Stephen G. (1)
all
top 5
Serial
- Isr. J. Math. (3)
- Adv. Math. (1)
- J. Symb. Log. (1)
- Ann. Pure Appl. Logic (1)
- Inf. Comput. (1)
- Arch. Math. Logic (1)
- Bull. Symb. Log. (1)