adding link to analytic Markov’s principle
Anonymous
]]>Filled in full reference and gave link:
Since the weakened Markov's principle is given using sequences, I'd better add how the regular version looks in that form.
]]>MP in intuitionism
]]>After a suggestion from Toby, I added a note on the “analytic Markov’s principle” to Markov’s principle.
]]>