Before revision: Markov's principle (also known as Leningrad's Principle ), named after Andrey Markov Jr, is a conditional existence statement for which there are many equivalent formulations, as discussed below.
After revision: Markov's principle (also known as Leningrad's principle ), named after Andrey Markov Jr, is a conditional existence statement for which there are many equivalent formulations, as discussed below.