A. Yu. Konovalov

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Basic predicate calculus is sound with respect to a modified version of strictly primitive recursive realizability Mathematical Notes	2024-03-19	Paper
A Generalized Realizability and Intuitionistic Logic ACM Transactions on Computational Logic	2023-04-05	Paper
Generalized Realizability and Basic Logic ACM Transactions on Computational Logic	2022-12-08	Paper
Generalized Realizability and Intuitionistic Logic (available as arXiv preprint)	2022-05-17	Paper
Basic predicate calculus is not sound with respect to the strong variant of strictly primitive recursive realizability Mathematical Notes	2022-03-14	Paper
General recursive realizability and intuitionistic logic Algebra and Logic	2021-11-16	Paper
General recursive realizability and basic logic Algebra and Logic	2021-01-08	Paper
Generalized realizability and Markov's principle Moscow University Mathematics Bulletin	2020-08-12	Paper
Generalized realizability for extensions of the language of arithmetic Moscow University Mathematics Bulletin	2020-01-20	Paper
Absolute L-realizability and intuitionistic logic Moscow University Mathematics Bulletin	2019-08-21	Paper
The semantics of realizability for the constructive set theory based on hyperarithmetical predicates Moscow University Mathematics Bulletin	2017-09-08	Paper
Arithmetical realizability and primitive recursive realizability Moscow University Mathematics Bulletin	2017-07-14	Paper
Arithmetical realizability and basic logic Moscow University Mathematics Bulletin	2016-06-17	Paper
On hyperarithmetical realizability Mathematical Notes	2016-04-14	Paper

Research outcomes over time

This page was built for person: A. Yu. Konovalov