14 citations · 18 across the 2 of their papers we have counts for
2 papers
math.LO2022★ 4 cited
Primitive recursive reverse mathematics
Nikolay Bazhenov, Marta Fiori-Carones, Lu Liu +1
We use a second-order analogy of to investigate the proof-theoretic strength of theorems in countable algebra, analysis, and infinite combinatorics.…
math.LO2021★ 14 cited
Computable Stone spaces
Nikolay Bazhenov, Matthew Harrison-Trainor, Alexander Melnikov
We investigate computable metrizability of Polish spaces up to homeomorphism. In this paper we focus on Stone spaces. We use Stone duality to construct the first known example of a…