{"id":"W2104329043","doi":"10.2178/jsl/1318338849","title":"Limits on jump inversion for strong reducibilities","year":2011,"lang":"en","type":"article","venue":"Journal of Symbolic Logic","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Jump; Inversion (geology); Set (abstract data type); Mathematics; Algorithm; Computer science; Discrete mathematics; Combinatorics; Physics; Biology","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003835848,0.0005622786,0.0009322331,0.002476399,0.001633997,0.003326808,0.001433575,0.001312786,0.008146934],"category_scores_gemma":[0.0162029,0.0006674897,0.00147093,0.001029499,0.006287494,0.007729827,0.006248986,0.004767854,0.0005705911],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001514947,"about_ca_system_score_gemma":0.0007351884,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001317393,"about_ca_topic_score_gemma":0.001065647,"domain_scores_codex":[0.9962437,0.0006622116,0.0002825357,0.0006644531,0.001505011,0.0006420624],"domain_scores_gemma":[0.9889706,0.007131481,0.0004637095,0.001359657,0.001386707,0.0006878715],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00005162548,0.00003682027,0.0007431911,0.00004750758,0.00001643275,0.0002245719,0.0003778653,0.001916455,0.001128317,0.9902925,0.0004937382,0.004671065],"study_design_scores_gemma":[0.00001547038,0.00002824291,0.0002976994,0.00001707744,0.0000151847,0.0001840891,0.0001834801,0.009266546,0.001624831,0.9862618,0.002089919,0.00001570701],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5901428,0.001251409,0.2135905,0.002975258,0.0002498504,0.0001524289,0.0004302897,0.0008471162,0.1903604],"genre_scores_gemma":[0.9761316,0.0002201139,0.01554233,0.000303739,0.0001253618,0.00008622893,0.0001839161,0.00009874935,0.007307963],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.008146934,"threshold_uncertainty_score":0.02725422,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1159473559644005,"score_gpt":0.28514799890236,"score_spread":0.1692006429379595,"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."}}