On Weak Markov's Principle

DOI<59::AID-MALQ59>3.0.CO;2-I 10.1002/1521-3870(200210)48:1+<59::AID-MALQ59>3.0.CO;2-IzbMath1044.03046OpenAlexW2082330991MaRDI QIDQ4787857

Ulrich Kohlenbach

Publication date: 2002

Full work available at URL: https://doi.org/10.1002/1521-3870(200210)48:1+<59::aid-malq59>3.0.co;2-i

zbMATH Keywords

constructive mathematicsMarkov's principleintuitionism

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Second- and higher-order arithmetic and fragments (03F35) Metamathematics of constructive systems (03F50)

Related Items

Generalized functions with pseudobounded support in constructive mathematics ⋮ EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES ⋮ SEPARATING FRAGMENTS OF WLEM, LPO, AND MP ⋮ A note on non-classical nonstandard arithmetic ⋮ On Brouwer's continuity principle ⋮ Bishop-Style Constructive Reverse Mathematics