On a weakening of Markov's Principle

DOI10.1007/BF02023022zbMath0533.03033OpenAlexW2007046049MaRDI QIDQ3315508

Andrej Scedrov, Richard E. Vesley

Publication date: 1983

Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/138016

zbMATH Keywords

realizabilityintuitionistic analysistopological modelsweak Markov principleweak Markov rule

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55)

Related Items

Realizing Brouwer's sequences ⋮ INTERRELATION BETWEEN WEAK FRAGMENTS OF DOUBLE NEGATION SHIFT AND RELATED PRINCIPLES ⋮ Minimum classical extensions of constructive theories

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Intuitionistic views on the nature of mathematics
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• A Topological Model for Intuitionistic Analysis with Kripke's Scheme
• Über das Markov-Prinzip
• Über das Markov-Prinzip II