Markov's principle and subsystems of intuitionistic analysis

DOI10.1017/JSL.2019.7zbMATH Open1506.03127OpenAlexW2916827751WikidataQ128383089 ScholiaQ128383089MaRDI QIDQ5222539FDOQ5222539

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

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

zbMATH Keywords

conservativityMarkov's principleintuitionistic analysis

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Interpreting classical theories in constructive ones
• A new method for establishing conservativity of classical systems over their intuitionistic version
• Title not available (Why is that?)
• Some axioms for constructive analysis
• Formalized recursive functionals and formalized realizability

Cited In (6)

• Some intuitionistic equivalents of classical principles for degree 2 formulas
• On a weakening of Markov's Principle
• On Weak Markov's Principle
• The principle of open induction and Specker sequences
• Solovay's relative consistency proof for FIM and BI
• Title not available (Why is that?)

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)