The semantics of realizability for the constructive set theory based on hyperarithmetical predicates

DOI10.3103/S0027132217030068zbMath1423.03247OpenAlexW2724860650MaRDI QIDQ2403574

Aleksandr Yur'evich Konovalov

Publication date: 8 September 2017

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

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

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Metamathematics of constructive systems (03F50) Theory of numerations, effectively presented structures (03D45)

Related Items

Invariant measure in the problem of a disk rolling on a plane

Cites Work

• Unnamed Item
• Unnamed Item