Rutger Kuyper

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
EXPANDING THE REALS BY CONTINUOUS FUNCTIONS ADDS NO COMPUTATIONAL POWER Journal of Symbolic Logic	2023-09-11	Paper
Cardinal invariants, non-lowness classes, and Weihrauch reducibility Computability	2020-01-17	Paper
On cototality and the skip operator in the enumeration degrees Transactions of the American Mathematical Society	2019-07-03	Paper
Levels of uniformity Notre Dame Journal of Formal Logic	2019-05-29	Paper
An introduction to (algorithmic) randomness	2019-03-20	Paper
Monte Carlo computability	2018-04-19	Paper
On Weihrauch reducibility and intuitionistic reverse mathematics Journal of Symbolic Logic	2018-01-11	Paper
Statman's hierarchy theorem (available as arXiv preprint)	2017-12-11	Paper
Nullifying randomness and genericity using symmetric difference Annals of Pure and Applied Logic	2017-06-15	Paper
Coarse reducibility and algorithmic randomness Journal of Symbolic Logic	2017-04-28	Paper
Parallel and Serial Jumps of Weak Weak König’s Lemma Computability and Complexity	2017-04-04	Paper
Nondensity of Double Bubbles in the D.C.E. Degrees Computability and Complexity	2017-04-04	Paper
Computational hardness of validity in probability logic Logical Foundations of Computer Science	2015-12-11	Paper
First-order logic in the Medvedev lattice Studia Logica	2015-12-07	Paper
Natural factors of the Medvedev lattice capturing IPC Archive for Mathematical Logic	2014-12-15	Paper
Computational aspects of satisfiability in probability logic Mathematical Logic Quarterly (MLQ)	2014-12-05	Paper
Effective genericity and differentiability Journal of Logic and Analysis	2014-11-20	Paper
Model theory of measure spaces and probability logic The Review of Symbolic Logic	2014-03-06	Paper
Natural factors of the Muchnik lattice capturing IPC Annals of Pure and Applied Logic	2013-12-11	Paper

Research outcomes over time

This page was built for person: Rutger Kuyper