- 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]

- 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]