Rutger Kuyper

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 12

Top Topics

Intrinsic Complexity

Propositional Theories

Symmetric Difference

Top Venues

Computability and Complexity

Arch. Math. Log.

Publications

Uri Andrews, Julia F. Knight, Rutger Kuyper, Joseph S. Miller, Mariya Ivanova Soskova
Expanding the Reals by continuous Functions Adds no Computational Power. J. Symb. Log. 88 (3) (2023)
Noam Greenberg, Rutger Kuyper, Dan Turetsky
Cardinal invariants, non-lowness classes, and Weihrauch reducibility. Comput. 8 (3-4) (2019)
Rutger Kuyper
Levels of Uniformity. Notre Dame J. Formal Log. 60 (1) (2019)
Vasco Brattka, Rupert Hölzl, Rutger Kuyper
Monte Carlo Computability. STACS (2017)
Rutger Kuyper
On Weihrauch Reducibility and intuitionistic Reverse Mathematics. J. Symb. Log. 82 (4) (2017)
Bram Westerbaan, Bas Westerbaan, Rutger Kuyper, Carst Tankink, Remy Viehoff, Henk Barendregt
Statman's Hierarchy Theorem. Log. Methods Comput. Sci. 13 (4) (2017)
Uri Andrews, Rutger Kuyper, Steffen Lempp, Mariya Ivanova Soskova, Mars M. Yamaleev
Nondensity of Double Bubbles in the D.C.E. Degrees. Computability and Complexity (2017)
Bram Westerbaan, Bas Westerbaan, Rutger Kuyper, Carst Tankink, Remy Viehoff, Henk Barendregt
Statman's Hierarchy Theorem. CoRR (2017)
Rutger Kuyper, Joseph S. Miller
Nullifying randomness and genericity using symmetric difference. Ann. Pure Appl. Log. 168 (9) (2017)
Laurent Bienvenu, Rutger Kuyper
Parallel and Serial Jumps of Weak Weak König's Lemma. Computability and Complexity (2017)
Denis R. Hirschfeldt, Carl G. Jockusch Jr., Rutger Kuyper, Paul E. Schupp
Coarse Reducibility and Algorithmic Randomness. J. Symb. Log. 81 (3) (2016)
Rutger Kuyper
First-Order Logic in the Medvedev Lattice. Stud Logica 103 (6) (2015)
Rutger Kuyper, Sebastiaan Terwijn
Effective genericity and differentiability. J. Log. Anal. 6 (2014)
Rutger Kuyper
Natural factors of the Medvedev lattice capturing IPC. Arch. Math. Log. 53 (7-8) (2014)
Rutger Kuyper
Computational aspects of satisfiability in probability logic. Math. Log. Q. 60 (6) (2014)
Rutger Kuyper
Computational Hardness of Validity in Probability Logic. LFCS (2013)
Rutger Kuyper, Sebastiaan A. Terwijn
Model Theory of Measure Spaces and Probability Logic. Rev. Symb. Log. 6 (3) (2013)
Rutger Kuyper
Natural factors of the Muchnik lattice capturing IPC. Ann. Pure Appl. Log. 164 (10) (2013)