{"id":"W1993915007","doi":"10.2178/jsl/1191333856","title":"The settling-time reducibility ordering","year":2007,"lang":"en","type":"article","venue":"Journal of Symbolic Logic","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Countable set; Mathematics; Combinatorics; Settling; Enumeration; Sequence (biology); Invariant (physics); Isomorphism (crystallography); Function (biology); Discrete mathematics; Physics; Crystallography; Chemistry; Mathematical physics","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.0007781049,0.000347749,0.0004117439,0.001115288,0.001198191,0.002106142,0.0005439285,0.0004761358,0.00329177],"category_scores_gemma":[0.003423662,0.0002681355,0.0007870608,0.0008480715,0.002836545,0.002509054,0.001351034,0.001419842,0.0003819735],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002088192,"about_ca_system_score_gemma":0.001203639,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003145916,"about_ca_topic_score_gemma":0.003513127,"domain_scores_codex":[0.9982125,0.0002650851,0.0001661444,0.0004010469,0.0006877386,0.0002675015],"domain_scores_gemma":[0.9961385,0.001418819,0.0003412587,0.0007247478,0.0009144057,0.0004622434],"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.000103238,0.00003680154,0.001713064,0.00005519626,0.00001347467,0.0002113066,0.000518119,0.007093524,0.005683737,0.9653862,0.0008730078,0.01831231],"study_design_scores_gemma":[0.00002474315,0.0001190894,0.001763273,0.00002885425,0.00002624635,0.0004004207,0.000236314,0.03183695,0.0085803,0.9408571,0.01609352,0.00003317647],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5819306,0.000678116,0.320837,0.001122265,0.0001017232,0.00009671127,0.0006632106,0.0008363759,0.09373412],"genre_scores_gemma":[0.9592978,0.0001448036,0.02713357,0.0001143912,0.00007127963,0.00005071039,0.0004511893,0.0000677305,0.01266859],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.00329177,"threshold_uncertainty_score":0.01515096,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01419056815369185,"score_gpt":0.2654262383856724,"score_spread":0.2512356702319805,"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."}}