Markov's principle and subsystems of intuitionistic analysis

DOI10.1017/JSL.2019.7MaRDI QIDQ5222539zbMATH OpenOpenAlexWikidataFDO

Authors Joan Rand Moschovakis

Publication date 6 April 2020

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/jsl.2019.7

zbMATH Keywords

conservativityintuitionistic analysisMarkov's principle

Mathematics Subject Classification ID

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

Recommendations

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

Cites work

• A new method for establishing conservativity of classical systems over their intuitionistic version
• Formalized recursive functionals and formalized realizability
• scientific article; zbMATH DE number 4002093 (Why is no real title available?)
• scientific article; zbMATH DE number 3216177 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• Interpreting classical theories in constructive ones
• Some axioms for constructive analysis

Cited in

(6)

• Solovay's relative consistency proof for FIM and BI
• Some intuitionistic equivalents of classical principles for degree 2 formulas
• On a weakening of Markov's Principle
• scientific article; zbMATH DE number 5364051 (Why is no real title available?)
• The principle of open induction and Specker sequences
• On Weak Markov's Principle

This page was built for publication: Markov's principle and subsystems of intuitionistic analysis

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