Some principles weaker than Markov's principle

DOI10.1007/s00153-015-0444-9zbMath1354.03093OpenAlexW2163156470MaRDI QIDQ892139

Takako Nemoto, Makoto Fujiwara, Hajime Ishihara

Publication date: 18 November 2015

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-015-0444-9

zbMATH Keywords

Church's thesisMarkov's principledisjunctive Markov's principleindependence of premiss schemaweak Markov's principle

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Other constructive mathematics (03F65)

Related Items

EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES, Refining the arithmetical hierarchy of classical principles, On the disjunctive Markov principle, A note on the independence of premiss rule, On Brouwer's continuity principle, INTERRELATION BETWEEN WEAK FRAGMENTS OF DOUBLE NEGATION SHIFT AND RELATED PRINCIPLES, \(\Delta^0_1\) variants of the law of excluded middle and related principles, Bishop-Style Constructive Reverse Mathematics

Cites Work

• On the disjunctive Markov principle
• Constructivism in mathematics. An introduction. Volume II
• Markov's principle, Church's thesis and Lindelöf's theorem
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• Constructively Complete Finite Sets
• Über das Markov-Prinzip
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics