Science activity
Articles (17) More info
1 |
Kalimullin I.S.
, Puzarenko V.G.
, Файзрахманов М.Х.
Negative Numberings in Admissible Sets. II Siberian Advances in Mathematics. 2024. V.34. N1. P.41-66. DOI: 10.1134/s1055134424010024 Scopus РИНЦ OpenAlex |
2 |
Kalimullin I.S.
, Puzarenko V.G.
Numberings on Admissible Structures over Equivalence Relations Lobachevskii Journal of Mathematics. 2024. V.45. N4. P.1833-1840. DOI: 10.1134/s1995080224601383 Scopus РИНЦ OpenAlex |
3 |
Morozov A.
, Puzarenko V.G.
, Faizrachmanov M.K.
Families of Permutations and Ideals of Turing Degrees Algebra and Logic. 2023. V.61. N6. P.481-490. DOI: 10.1007/s10469-023-09714-1 WOS Scopus РИНЦ OpenAlex |
4 |
Kalimullin I.S.
, Puzarenko V.G.
, Faĭzrakhmanov M.K.
Negative Numberings in Admissible Sets. I Siberian Advances in Mathematics. 2023. V.33. N4. P.293-321. DOI: 10.1134/s105513442304003x Scopus РИНЦ OpenAlex |
5 |
Faizrahmanov M.K.
, Puzarenko V.G.
Absolute and Relative Properties of Negatively Numbered Families Lobachevskii Journal of Mathematics. 2021. V.42. N4. P.726-734. DOI: 10.1134/S1995080221040090 WOS Scopus OpenAlex |
6 |
Kalimullin I.S.
, Puzarenko V.G.
, Faizrahmanov M.K.
Positive Numberings in Admissible Sets Siberian Mathematical Journal. 2020. V.61. N3. P.478-489. DOI: 10.1134/S003744662003009X WOS Scopus OpenAlex |
7 |
Kalimullin I.S.
, Puzarenko V.G.
, Faizrakhmanov M.K.
Computable Positive and Friedberg Numberings in Hyperarithmetic Algebra and Logic. 2020. V.59. N1. P.46-58. DOI: 10.1007/s10469-020-09578-9 WOS Scopus OpenAlex |
8 |
Kalimullin I.S.
, Puzarenko V.G.
, Faizrakhmanov M.K.
Semidecidable Numberings in Admissible Sets Algebra and Logic. 2020. V.59. N3. P.273-277. DOI: 10.1007/s10469-020-09599-4 WOS Scopus OpenAlex |
9 |
Puzarenko V.G.
, Smeliansky R.L.
On the “Heap” problem Russian Journal of Mathematical Physics. 2019. V.26. N2. P.180-184. DOI: 10.1134/S1061920819020055 WOS Scopus OpenAlex |
10 |
Kalimullin I.S.
, Puzarenko V.G.
, Faizrahmanov M.K.
Partial Decidable Presentations in Hyperarithmetic Siberian Mathematical Journal. 2019. V.60. N3. P.464-471. DOI: 10.1134/S0037446619030091 WOS Scopus OpenAlex |
11 |
Avdeev R.R.
, Puzarenko V.G.
A Computable Structure with Non-Standard Computability Siberian Advances in Mathematics. 2019. V.29. N2. P.77-115. DOI: 10.3103/S1055134419020019 Scopus OpenAlex |
12 |
Faizrahmanov M.
, Kach A.
, Kalimullin I.
, Montalban A.
, Puzarenko V.
Jump inversions of algebraic structures and Σ-definability Mathematical Logic Quarterly. 2019. V.65. N1. P.37-45. DOI: 10.1002/malq.201800015 WOS Scopus OpenAlex |
13 |
Kalimullin I.S.
, Kach A.
, Montalbán A.
, Puzarenko V.G.
, Faizrahmanov M.K.
Jump Inversions of Algebraic Structures and the Σ-Definability Algebra and Logic. 2018. V.57. N2. P.161-165. DOI: 10.1007/s10469-018-9488-3 WOS Scopus OpenAlex |
14 |
Kalimullin I.S.
, Puzarenko V.G.
, Faizrahmanov M.K.
Positive Presentations of Families Relative to e-Oracles Siberian Mathematical Journal. 2018. V.59. N4. P.648-656. DOI: 10.1134/S0037446618040079 WOS Scopus OpenAlex |
15 |
Faizrahmanov M.
, Kalimullin I.
, Montalban A.
, Puzarenko V.
The Least ∑-jump Inversion Theorem for n-families Journal of Universal Computer Science. 2017. V.23. N6. P.529-538. DOI: 10.3217/jucs-023-06-0529 |
16 |
Avdeev R.R.
, Puzarenko V.G.
A Computable Structure with Nonstandard Computability Algebra and Logic. 2017. V.56. N5. P.425-426. DOI: 10.1007/s10469-017-9463-4 WOS Scopus OpenAlex |
17 |
Ershov Y.L.
, Puzarenko V.G.
, Stukachev A.
HF-Computability In compilation Computability in Context Computation and Logic in the Real World. – World Scientific., 2011. – C.169-242. DOI: 10.1142/9781848162778_0006 Scopus РИНЦ OpenAlex |
Conference attendances (2) More info
1 |
Puzarenko V.G.
, Смелянский Р.Л.
On the “Heap” Problem Computability Theory 25-29 Apr 2021 |
2 |
Puzarenko V.G.
Friedberg presentations in generalized computability The First Workshop on Digitalization and Computable Models 16-20 Dec 2019 |
Identifiers
ORCID:
0000-0003-0821-7311
Degrees
2014 - Dr.Sc.
Academic titles
2008 - Associate professor