Aleksandr Yur'evich 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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Aleksandr Yur'evich Konovalov