Papers
- U. Andrews, H. A. Ganchev, R. Kuyper, S. Lempp, J. S. Miller, A. A. Soskova and M. I. Soskova, On cototality and the skip operator in the enumeration degrees, submitted. [pdf]
- V. Brattka, R. Hölzl and R. Kuyper, Monte Carlo computability, in H. Vollmer and B. Vallée (eds.), 34th Symposium on Theoretical Aspects of Computer Science (STACS 2017), Leibniz International Proceedings in Informatics 66, Schloss Dagstuhl, 2017, 17:1–17:14.\\[.2cm]
- L. Bienvenu and R. Kuyper, Parallel and serial jumps of weak weak König's Lemma, in A. Day et al. (eds.), Computability and Complexity, Festschrift dedicated to Rod Downey on the occasion of his 60th birthday, Lecture Notes in Computer Science 10010, Springer, 2017, 201–217. [pdf]
- U. Andrews, R. Kuyper, S. Lempp, M. I. Soskova and M. M. Yamaleev, Nondensity of double bubbles in the d.c.e. degrees, in A. Day et al. (eds.), Computability and Complexity, Festschrift dedicated to Rod Downey on the occasion of his 60th birthday, Lecture Notes in Computer Science 10010, Springer, 2017, 547–562. [pdf]
- R. Kuyper and J. S. Miller, Nullifying randomness and genericity using symmetric difference, to appear in the Annals of Pure and Applied Logic. [pdf]
- R. Kuyper, On Weihrauch reducibility and intuitionistic reverse mathematics, to appear in The Journal of Symbolic Logic. [pdf]
- R. Kuyper, Levels of uniformity, to appear in the Notre Dame Journal of Formal Logic. [pdf]
- D. R. Hirschfeldt, C. G. Jockusch, Jr., R. Kuyper and P. E. Schupp, Coarse reducibility and algorithmic randomness, The Journal of Symbolic Logic 81(3), 2016, 1028–1046. [pdf]
- R. Kuyper, First-order logic in the Medvedev lattice, Studia Logica 103(6), 2015, 1185–1224. [pdf]
- R. Kuyper, Computational aspects of satisfiability in probability logic, Mathematical Logic Quarterly 60(6), 2014, 444–470. [pdf]
- R. Kuyper, Natural factors of the Medvedev lattice capturing IPC, Archive for Mathematical Logic 53(7), 2014, 865–879. [pdf]
- R. Kuyper and S. A. Terwijn, Effective genericity and differentiability, Journal of Logic & Analysis 6(4), 2014, 1–14. [pdf]
- R. Kuyper, Natural factors of the Muchnik lattice capturing IPC, Annals of Pure and Applied Logic 164(10), 2013, 1025–1036. [pdf]
- R. Kuyper and S. A. Terwijn, Model theory of measure spaces and probability logic, The Review of Symbolic Logic 6(3), 2013, 367–393. [pdf]
- R. Kuyper, Computational hardness of validity in probability logic, in S. Artemov and A. Nerode (eds.), Proceedings of Logical Foundations of Computer Science, Lecture Notes in Computer Science 7734, Springer, 2013, 252–265. [pdf]
Theses
- R. Kuyper, Computability, Probability and Logic, Ph.D. thesis, Radboud University Nijmegen, 2015. [pdf B5]
If you are interested in a paper copy, please let me know and I will send you one free of charge.
- R. Kuyper, Probability logic, Master's thesis, Radboud University Nijmegen, 2011. [pdf A5] [pdf A4]
- R. Kuyper, Set-theoretic paradoxes in lambda U and lambda U-, Bachelor's thesis, Radboud University Nijmegen, 2010. [pdf A5] [pdf A4]