Rutger Kuyper

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