Rutger Kuyper

According to our database1, Rutger Kuyper authored at least 17 papers between 2013 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Expanding the Reals by continuous Functions Adds no Computational Power.
J. Symb. Log., 2023

2019
Levels of Uniformity.
Notre Dame J. Formal Log., 2019

Cardinal invariants, non-lowness classes, and Weihrauch reducibility.
Comput., 2019

2017
Statman's Hierarchy Theorem.
Log. Methods Comput. Sci., 2017

On Weihrauch Reducibility and intuitionistic Reverse Mathematics.
J. Symb. Log., 2017

Nullifying randomness and genericity using symmetric difference.
Ann. Pure Appl. Log., 2017

Monte Carlo Computability.
Proceedings of the 34th Symposium on Theoretical Aspects of Computer Science, 2017

Parallel and Serial Jumps of Weak Weak König's Lemma.
Proceedings of the Computability and Complexity, 2017

Nondensity of Double Bubbles in the D.C.E. Degrees.
Proceedings of the Computability and Complexity, 2017

2016
Coarse Reducibility and Algorithmic Randomness.
J. Symb. Log., 2016

2015
First-Order Logic in the Medvedev Lattice.
Stud Logica, 2015

2014
Computational aspects of satisfiability in probability logic.
Math. Log. Q., 2014

Effective genericity and differentiability.
J. Log. Anal., 2014

Natural factors of the Medvedev lattice capturing IPC.
Arch. Math. Log., 2014

2013
Model Theory of Measure Spaces and Probability Logic.
Rev. Symb. Log., 2013

Natural factors of the Muchnik lattice capturing IPC.
Ann. Pure Appl. Log., 2013

Computational Hardness of Validity in Probability Logic.
Proceedings of the Logical Foundations of Computer Science, International Symposium, 2013


  Loading...