Scedrov, A., and Vesley, R.. "On a weakening of Markov's principle.." Archiv für mathematische Logik und Grundlagenforschung 23 (1983): 153-160. <http://eudml.org/doc/138016>.
@article{Scedrov1983, author = {Scedrov, A., Vesley, R.}, journal = {Archiv für mathematische Logik und Grundlagenforschung}, keywords = {weak Markov principle; realizability; topological models; weak Markov rule; intuitionistic analysis}, pages = {153-160}, title = {On a weakening of Markov's principle.}, url = {http://eudml.org/doc/138016}, volume = {23}, year = {1983}, }
TY - JOUR AU - Scedrov, A. AU - Vesley, R. TI - On a weakening of Markov's principle. JO - Archiv für mathematische Logik und Grundlagenforschung PY - 1983 VL - 23 SP - 153 EP - 160 KW - weak Markov principle; realizability; topological models; weak Markov rule; intuitionistic analysis UR - http://eudml.org/doc/138016 ER -
