{"id":"W2081858636","doi":"10.2178/jsl/1140641175","title":"Computable trees of Scott rank <i>ω</i><sub>1</sub><sup><i>CK</i></sup>, and computable approximation","year":2006,"lang":"en","type":"article","venue":"Journal of Symbolic Logic","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":18,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Mathematics; Rank (graph theory); Homogeneous; Tuple; Arithmetic function; Combinatorics; Homogeneity (statistics); Discrete mathematics; Statistics","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.0004348487,0.0002206806,0.0003346871,0.000732791,0.0009808737,0.001532819,0.0004113972,0.0003900389,0.002692349],"category_scores_gemma":[0.002909192,0.0001843086,0.0004326059,0.0009918918,0.00182953,0.003202448,0.001006949,0.001106728,0.0002079025],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001352381,"about_ca_system_score_gemma":0.0007201082,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002899391,"about_ca_topic_score_gemma":0.004138979,"domain_scores_codex":[0.9996271,0.00006021382,0.00002320436,0.00006529956,0.0001387263,0.00008540312],"domain_scores_gemma":[0.9985214,0.0007676076,0.0001561054,0.0002268798,0.0001790292,0.0001490417],"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.0001195231,0.00002760247,0.001362751,0.00006341436,0.000005943906,0.0002232971,0.0006417989,0.006064887,0.004485977,0.9743871,0.001078217,0.01153952],"study_design_scores_gemma":[0.00003857973,0.00005180985,0.002078404,0.00002195936,0.00002787601,0.0002416063,0.0004390148,0.03376128,0.01026281,0.9432439,0.00979795,0.00003474271],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6826703,0.0005555172,0.2650648,0.001757632,0.00007107886,0.00008353989,0.0005490109,0.0007340855,0.04851413],"genre_scores_gemma":[0.9724118,0.000126342,0.02200687,0.00007154812,0.00003601387,0.00002861522,0.0002013429,0.00003496101,0.005082527],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.002899391,"threshold_uncertainty_score":0.009812295,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01097482113881487,"score_gpt":0.2141956998777218,"score_spread":0.2032208787389069,"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."}}