Separating Markov's Principles.

Liron Cohen, Yannick Forster, Dominik Kirst, Bruno da Rocha Paiva, Vincent Rahli

Browse the full LICS paper archive.