Troelstra's Paradox and Markov's Principle

[Mark van Atten]

A preprint of this paper is now available at
https://hal.archives-ouvertes.fr/hal-01415603

Abstract:

A prominent problem for the Theory of the Creating Subject
is Troelstra's Paradox. As is well known, the construction
of that paradox depends on the acceptability of a certain
impredicativity, of a kind that some intuitionists accept
and others do not. After a presentation of the Theory of the
Creating Subject and the paradox, I argue that the paradox
moreover depends on Markov's Principle, in a form that no
intuitionist should accept. A postscript discusses a new
version of the paradox that Troelstra has proposed in
reaction to my argument.

Best wishes,
Mark.