Основные темы научной работы |
математическая логика, теория доказательств, формальная арифметика, теория алгоритмов |
|
|
Список публикаций:
|
|
Цитирования (Crossref Cited-By Service + Math-Net.Ru) |
|
|
| 1. |
E. A. Kolmakov, L. D. Beklemishev, “Axiomatization of provable $n$-provability”, J. Symb. Log., 84:2 (2019), 849–869     
|
3
[x]
|
| 2. |
E. A. Kolmakov, “On Shavrukov’s non-isomorphism theorem for diagonalizable algebras”, The Review of Symbolic Logic, 2022 (Published online) https://www.cambridge.org/core/journals/review-of-symbolic-logic/article/on-shavrukovs-nonisomorphism-theorem-for-diagonalizable-algebras/127743F3DF59DC3DC83261011E861FCC |
| 3. |
Е. А. Колмаков, “Об одном усилении теоремы о неизоморфизме алгебр доказуемости”, Докл. РАН. Мат. информ. проц. упр., 499:1 (2021), 26–30   ; E. A. Kolmakov, “On a strengthening of the non-isomorphism theorem for provability algebras”, Dokl. Math., 104:1 (2021), 180–183 |
| 4. |
Evgeny Kolmakov, “Local reflection, definable elements and 1-provability”, Arch. Math. Logic, 59 (2020), 979–996 ; |
| 5. |
Е. А. Колмаков, Л. Д. Беклемишев, “Аксиоматизация доказуемой $n$-доказуемости”, Докл. РАН, 483:3 (2018), 244–248 ; E. A. Kolmakov, L. D. Beklemishev, “Axiomatizing provable $n$-provability”, Dokl. Math., 98:3 (2018), 582–585 |
| 6. |
Е. А. Колмаков, С. С. Марченков, “О максимальных подгруппах группы рекурсивных перестановок”, Вестн. Моск. ун-та. Сер. 15. Вычисл. матем. и кибернет., 40:3 (2016), 32–36 ; E. A. Kolmakov, S. S. Marchenkov, “On maximal subgroups of the group of recursive permutations”, Moscow Univ. Comput. Math. Cybernet., 40:3 (2016), 128–132 |
| 7. |
Е. А. Колмаков, “Метрическое обобщение алгоритмов классификации на основе анализа формальных понятий”, Прикл. матем. и информ., 47, 2014, 122–136 ; E. A. Kolmakov, “Metric generalization of classification algorithms based on formal concept analysis”, Comput. Math. Model., 26:4 (2015), 566–576 |
| 8. |
E. Kolmakov, “Metric Generalization and Modification of Classification Algorithms Based on Formal Concept Analysis”, Proceedings of the International Workshop "What can FCA do for Artificial Intelligence?" (FCA4AI at ECAI 2014), v. 1257, eds. S. Kuznetsov, A. Napoli, S. Rudolph, CEUR Workshop Proceedings, Prague, 2014, 43–50 http://ceur-ws.org/Vol-1257/paper5.pdf |
|
Обратная связь: