{"id":"W2087377736","doi":"10.1007/s001530100095","title":"On the distribution of Lachlan nonsplitting bases","year":2002,"lang":"en","type":"article","venue":"Archive for Mathematical Logic","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of British Columbia","funders":"","keywords":"Mathematics; Degree (music); Base (topology); Recursively enumerable language; Bounding overwatch; Hierarchy; Combinatorics; Distribution (mathematics); Computer science; Mathematical analysis; Physics; Artificial intelligence","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.004678582,0.0006035604,0.001106953,0.004309582,0.004527233,0.006598928,0.003656853,0.001485688,0.01171556],"category_scores_gemma":[0.033676,0.0008009257,0.0006163715,0.004493386,0.005081558,0.01080118,0.003541741,0.003996826,0.001620213],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004062479,"about_ca_system_score_gemma":0.001821331,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002235072,"about_ca_topic_score_gemma":0.001766349,"domain_scores_codex":[0.9979622,0.0007105666,0.0000984469,0.0002915717,0.0005923021,0.000344772],"domain_scores_gemma":[0.9771741,0.01349017,0.001373681,0.003191298,0.003241491,0.001529226],"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.0000703495,0.00001750039,0.0002544448,0.00001332917,0.000003392838,0.00002272004,0.0001563868,0.001660966,0.0002217559,0.9902439,0.00132624,0.006009211],"study_design_scores_gemma":[0.00001296964,0.00001110735,0.00013584,0.00001588792,0.000003875339,0.00004378415,0.00006989691,0.0118787,0.0003427164,0.9854679,0.002007221,0.00001004856],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3902909,0.002904148,0.5039808,0.00742264,0.0003137797,0.00009503782,0.001104127,0.0009485565,0.09294003],"genre_scores_gemma":[0.9347391,0.001549984,0.03431185,0.0005924714,0.0005931552,0.0001666791,0.001008245,0.0003801002,0.02665856],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01171556,"threshold_uncertainty_score":0.03919244,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04930155187970691,"score_gpt":0.2544212250325528,"score_spread":0.2051196731528459,"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."}}