Nikolay Bazhenov

collaborators

2 papers

math.LO2025

A non-computable c.e. closed subset of $[0, 1]$

Serikzhan Badaev, Nikolay Bazhenov, Sergey Goncharov +2

We prove that there exists a $Σ_{1}^{0}$ closed subset of $[0, 1]$ that is not homeomorphic to any computably compact space. We show that the index set of c.e. subspaces of $[0, 1]$ that…

math.LO2023

A note on the degree structure of primitive recursive m-reducibility

Birzhan Kalmurzayev, Nikolay Bazhenov, Alibek Iskakov

Let $C_{m}^{p r}$ be the upper semilattice of degrees of computable sets with respect to primitive recursive $m$ -reducibility. We prove that the first-order theory of $C_{m}^{p r}$ is he…

A non-computable c.e. closed subset of [0,1]

A note on the degree structure of primitive recursive m-reducibility

A non-computable c.e. closed subset of $[0, 1]$