Generalized realizability and Markov's principle

DOI10.3103/S0027132220010064zbMath1446.03103OpenAlexW3043006406MaRDI QIDQ785957

Aleksandr Yur'evich Konovalov

Publication date: 12 August 2020

Published in: Moscow University Mathematics Bulletin (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3103/s0027132220010064

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50)

Related Items (1)

A Generalized Realizability and Intuitionistic Logic

Cites Work

• On hyperarithmetical realizability
• Arithmetical realizability and basic logic
• ABSOLUTE REALIZABILITY OF PREDICATE FORMULAS

This page was built for publication: Generalized realizability and Markov's principle