ora-0052
Further reading
Gold’s language-learning paradigm supplies the presentation-relative notion of identification used here [ Gold , 1967 ] . Universal imitation games motivate the coinductive behavioral criterion [ Mahadevan , 2024 ] . The use of the Grothendieck construction separates the intrinsic family of hypotheses from any one external enumeration of them; Chapter 1 reviews the relevant categorical machinery.