{"id":"W1636748716","doi":"10.3233/com-2012-004","title":"The Hierarchy of Equivalence Relations on the Natural Numbers Under Computable Reducibility","year":2012,"lang":"en","type":"article","venue":"Computability","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":35,"is_retracted":false,"has_abstract":true,"ca_institutions":"Fields Institute for Research in Mathematical Sciences; York University","funders":"Natural Sciences and Engineering Research Council of Canada; Research Foundation of The City University of New York; Isaac Newton Institute for Mathematical Sciences; City University of New York; Simons Foundation; National Science Foundation","keywords":"Mathematics; Equivalence relation; Computable analysis; Hierarchy; Borel hierarchy; Equivalence (formal languages); Natural number; Isomorphism (crystallography); Computable function; Discrete mathematics; Pure mathematics; Algebra over a field; Borel measure","routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006224211,0.0003982513,0.0004590558,0.00007203529,0.0011334,0.0002212543,0.003179273,0.0001296419,0.000052809],"category_scores_gemma":[0.0012228,0.0002386992,0.0003539963,0.001298362,0.001400927,0.0006868732,0.001766821,0.0009108739,0.00009866742],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004411922,"about_ca_system_score_gemma":0.0002755326,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001303754,"about_ca_topic_score_gemma":0.00002293617,"domain_scores_codex":[0.9945852,0.001494344,0.0009329664,0.000978104,0.0009804446,0.001028911],"domain_scores_gemma":[0.9868578,0.008198997,0.0003589507,0.003868311,0.0004548469,0.000261141],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"observational","study_design_scores_codex":[0.00009141574,0.002557365,0.06658769,0.0001017489,0.0001611981,0.000001701701,0.003981337,0.03344894,0.0002618583,0.8164839,0.004358572,0.07196432],"study_design_scores_gemma":[0.0004464759,0.000204368,0.4057149,0.00004300258,0.00002548258,0.00003172381,0.0002440238,0.3760643,0.0009134316,0.2119306,0.003783321,0.0005983356],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6486561,0.001002788,0.3307816,0.01048602,0.003672619,0.001289987,0.00001213425,0.0004136729,0.003685084],"genre_scores_gemma":[0.984874,0.000006964977,0.01439419,0.0003501803,0.0002085176,0.00003411646,0.000003061818,0.0000168335,0.0001121534],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.6045532,"threshold_uncertainty_score":0.9733869,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03527172603760496,"score_gpt":0.2774204450242962,"score_spread":0.2421487189866912,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}