3 citations · 5 across the 3 of their papers we have counts for
3 papers
math.LO2021
Approximating approximate reasoning: Fuzzy sets and the Ershov hierarchy
Nikolay Bazhenov, Manat Mustafa, Sergei Ospichev +1
Computability theorists have introduced multiple hierarchies to measure the complexity of sets of natural numbers. The Kleene Hierarchy classifies sets according to the first-order…
math.LO2020★ 2 cited
Rogers semilattices in the analytical hierarchy: The case of finite families
Nikolay Bazhenov, Manat Mustafa
A numbering of a countable family is a surjective map from the set of natural numbers onto . The paper studies Rogers semilattices, i.e. upper semilattices induced by th…
math.LO2019★ 3 cited
Isomorphism types of Rogers semilattices in the analytical hierarchy
Nikolay Bazhenov, Sergey Ospichev, Mars Yamaleev
A numbering of a countable family is a surjective map from the set of natural numbers onto . A numbering is reducible to a numbering if there is an effective pro…