Σ _1^1 in Every Real in a Σ _1^1 Class of Reals Is Σ _1^1.

Leo Harrington Richard A. Shore Theodore A. Slaman

Published in: Computability and Complexity (2017)

Keyphrases

real life
decision trees
object recognition
class labels
data sets
information retrieval
feature selection
clustering algorithm
mobile robot
upper bound
class specific