A. Yu. Konovalov

Available identifiers

zbMath Open konovalov.aleksandr-yurevichMaRDI QIDQ785956

List of research outcomes

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

Research outcomes over time

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