Learnability and Positive Equivalence Relations

David Belanger, Ziyuan Gao, Sanjay Jain +2

Prior work of Gavryushkin, Khoussainov, Jain and Stephan investigated what algebraic structures can be realised in worlds given by a positive (= recursively enumerable) equivalence…