Evgeny Kolmakov

According to our database, Evgeny Kolmakov authored at least 4 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

On Shavrukov's non-Isomorphism Theorem for diagonalizable Algebras.

Evgeny Kolmakov

Rev. Symb. Log., 2024

2020

Local reflection, definable elements and 1-provability.

Evgeny Kolmakov

Arch. Math. Log., 2020

2019

Axiomatization of Provable n-Provability.

Evgeny Kolmakov, Lev D. Beklemishev

J. Symb. Log., 2019

2014

Metric Generalization and Modification of Classification Algorithms Based on Formal Concept Analysis.

Evgeny Kolmakov

Proceedings of the 3rd International Workshop "What can FCA do for Artificial Intelligence"? co-located with the European Conference on Artificial Intelligence (ECAI 2014), 2014