Generalized realizability for extensions of the language of arithmetic

DOI10.3103/S0027132219040065zbMath1454.03079OpenAlexW2970314527WikidataQ127322282 ScholiaQ127322282MaRDI QIDQ2287392

Aleksandr Yur'evich Konovalov

Publication date: 20 January 2020

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

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

zbMATH Keywords

realizabilityfirst-order arithmeticintuitionistic arithmetic

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55)

Related Items (1)

A Generalized Realizability and Intuitionistic Logic

Cites Work

• On hyperarithmetical realizability
• Arithmetical realizability and basic logic
• Provably total functions of Basic Arithmetic
• Unnamed Item

This page was built for publication: Generalized realizability for extensions of the language of arithmetic