ON WEIHRAUCH REDUCIBILITY AND INTUITIONISTIC REVERSE MATHEMATICS von KUYPER, RUTGER

Volltext

On cototality and the skip operator in the enumeration degrees von Andrews, Uri, Ganchev, Hristo, Kuyper, Rutger, Lempp, Steffen, Miller, Joseph, Soskova, Alexandra, Soskova, Mariya

Volltext

Statman's Hierarchy Theorem von Bram Westerbaan, Bas Westerbaan, Rutger Kuyper, Carst Tankink, Remy Viehoff, Henk Barendregt

Volltext

First-Order Logic in the Medvedev Lattice von Kuyper, Rutger

Volltext

Natural factors of the Medvedev lattice capturing IPC von Kuyper, Rutger

Volltext

Natural factors of the Muchnik lattice capturing IPC von Kuyper, Rutger

Volltext

Computational aspects of satisfiability in probability logic von Kuyper, Rutger

Volltext

Parallel and Serial Jumps of Weak Weak König's Lemma von Bienvenu, Laurent, Kuyper, Rutger

Volltext

Nullifying randomness and genericity using symmetric difference von Kuyper, Rutger, Miller, Joseph S.

Volltext

EXPANDING THE REALS BY CONTINUOUS FUNCTIONS ADDS NO COMPUTATIONAL POWER von ANDREWS, URI, KNIGHT, JULIA F., KUYPER, RUTGER, MILLER, JOSEPH S., SOSKOVA, MARIYA I.

Volltext

COARSE REDUCIBILITY AND ALGORITHMIC RANDOMNESS von HIRSCHFELDT, DENIS R., JOCKUSCH, CARL G., KUYPER, RUTGER, SCHUPP, PAUL E.

Volltext

Nondensity of Double Bubbles in the D.C.E. Degrees von Andrews, Uri, Kuyper, Rutger, Lempp, Steffen, Soskova, Mariya I., Yamaleev, Mars M.

Volltext

Computational Hardness of Validity in Probability Logic von Kuyper, Rutger

Volltext

Effective genericity and differentiability von Kuyper, Rutger, Terwijn, Sebastiaan

Volltext

MODEL THEORY OF MEASURE SPACES AND PROBABILITY LOGIC von KUYPER, RUTGER, TERWIJN, SEBASTIAAN A.

Volltext

On Weihrauch Reducibility and Intuitionistic Reverse Mathematics von Kuyper, Rutger

Volltext bestellen

Levels of uniformity von Kuyper, Rutger

Volltext

First-order logic in the Medvedev lattice von Kuyper, Rutger

Volltext bestellen

Natural Factors of the Medvedev Lattice Capturing IPC von Kuyper, Rutger

Volltext

Natural Factors of the Muchnik Lattice Capturing IPC von Kuyper, Rutger

Volltext bestellen