Markov's principle, named after Andrey Markov Jr, is a statement in computability theory that  is logical validity classically  not in intuitionistic constructive mathematics.
<coherence> Markov's principle, named after Andrey Markov Jr, is a statement in computability theory that  is logical validity classically  not in intuitionistic constructive mathematics.
Markov's principle, named after Andrey Markov Jr, is a statement in computability theory that is logical validity classically , but not in intuitionistic constructive mathematics.