On a weakening of Markov's Principle

DOI10.1007/BF02023022MaRDI QIDQ3315508zbMATH OpenOpenAlexFDO

Authors Andre 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

intuitionistic analysisrealizabilitytopological modelsweak Markov principleweak Markov rule

Mathematics Subject Classification ID

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

Recommendations

• On Weak Markov's Principle
• Some principles weaker than Markov's principle
• Markov's principle and subsystems of intuitionistic analysis
• Unavoidable sequences in constructive analysis
• scientific article; zbMATH DE number 5364051

Cites work

• A Topological Model for Intuitionistic Analysis with Kripke's Scheme
• scientific article; zbMATH DE number 3506649 (Why is no real title available?)
• scientific article; zbMATH DE number 3552491 (Why is no real title available?)
• scientific article; zbMATH DE number 3216177 (Why is no real title available?)
• 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
• Über das Markov-Prinzip
• Über das Markov-Prinzip II

Cited in

(20)

• Realizing Brouwer's sequences
• Minimum classical extensions of constructive theories
• Markov's rule revisited
• Some intuitionistic equivalents of classical principles for degree 2 formulas
• Separating fragments of WLEM, LPO, and MP
• scientific article; zbMATH DE number 3171974 (Why is no real title available?)
• scientific article; zbMATH DE number 3843743 (Why is no real title available?)
• scientific article; zbMATH DE number 4152377 (Why is no real title available?)
• Markov's principle, isols and Dedekind finite sets
• On Weihrauch reducibility and intuitionistic reverse mathematics
• Intuitionistic analysis at the end of time
• The principle of open induction and Specker sequences
• Interrelation between weak fragments of double negation shift and related principles
• On Weak Markov's Principle
• The extensional realizability model of continuous functionals and three weakly non-constructive classical theorems
• Markov's principle and subsystems of intuitionistic analysis
• The independence of Markov's principle in type theory
• The independence of Markov's principle in type theory
• Generalized realizability and Markov's principle
• Some principles weaker than Markov's principle

This page was built for publication: On a weakening of Markov's Principle

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3315508)