5 citations · 7 across the 3 of their papers we have counts for
3 papers
math.LO2020
On the computability of ordered fields
M. V. Korovina, O. V. Kudinov
In this paper we develop general techniques for classes of computable real numbers generated by subsets of total computable (recursive functions) with special restrictions on basic…
cs.LO2017★ 5 cited
The Rice-Shapiro theorem in Computable Topology
Margarita Korovina, Oleg Kudinov
We provide requirements on effectively enumerable topological spaces which guarantee that the Rice-Shapiro theorem holds for the computable elements of these spaces. We show that t…
math.LO2017★ 2 cited
First Order Theories of Some Lattices of Open Sets
Oleg Kudinov, Victor Selivanov
We show that the first order theory of the lattice of open sets in some natural topological spaces is -equivalent to second order arithmetic. We also show that for many natural…