SEPARATING FRAGMENTS OF WLEM, LPO, AND MP
Matthew Hendtlass, Robert S. Lubarsky · Journal of Symbolic Logic · 2016
Abstract We separate many of the basic fragments of classical logic which are used in reverse constructive mathematics. A group of related Kripke and topological models is used to show that various fragments of the Weak Law of the Excluded Middle, the Limited Principle of Omniscience, and Markov’s Principle, including Weak Markov’s Principle, do not imply each other.