The "World's Simplest Axiom of Choice" Fails. M.P. Fourman; A. Scedrov — 1982 Manuscripta mathematica
On a weakening of Markov's principle. A. Scedrov; R. Vesley — 1983 Archiv für mathematische Logik und Grundlagenforschung