[FOM] Troelstra's Paradox and Markov's Principle

Mark van Atten vanattenmark at gmail.com
Fri Dec 16 05:31:57 EST 2016

A preprint of this paper is now available at


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,

More information about the FOM mailing list