Markov's principle, isols and Dedekind finite sets
scientific article