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…