Markov's principle

Markov's principle is equivalent, in the language of real analysis, to the following principles:

Weak Markov's principle is a weaker form of Markov's principle that may be stated in the language of analysis as

It is a conditional statement about the decidability of positivity of a real number.