Author: nLab edit announcer Format: MarkdownItexExpanded this article so that analytic Markov's principle could apply for any notion of real numbers, not just the Dedekind real numbers.
Anonymouse
<a href="https://ncatlab.org/nlab/revision/diff/analytic+Markov%27s+principle/9">diff</a>, <a href="https://ncatlab.org/nlab/revision/analytic+Markov%27s+principle/9">v9</a>, <a href="https://ncatlab.org/nlab/show/analytic+Markov%27s+principle">current</a>
Expanded this article so that analytic Markov’s principle could apply for any notion of real numbers, not just the Dedekind real numbers.