MARKOV’S PRINCIPLE AND SUBSYSTEMS OF INTUITIONISTIC ANALYSIS

DOI10.1017/JSL.2019.7zbMath1506.03127OpenAlexW2916827751WikidataQ128383089 ScholiaQ128383089MaRDI QIDQ5222539

Joan Rand Moschovakis

Publication date: 6 April 2020

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

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

zbMATH Keywords

intuitionistic analysisconservativityMarkov's principle

Mathematics Subject Classification ID

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

Related Items (1)

Solovay's relative consistency proof for FIM and BI

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Some axioms for constructive analysis
• Interpreting classical theories in constructive ones
• A new method for establishing conservativity of classical systems over their intuitionistic version
• Formalized recursive functionals and formalized realizability

This page was built for publication: MARKOV’S PRINCIPLE AND SUBSYSTEMS OF INTUITIONISTIC ANALYSIS