{"id":"W2601794338","doi":"10.1017/jsl.2016.43","title":"DEGREES OF CATEGORICITY ON A CONE VIA<i>η</i>-SYSTEMS","year":2017,"lang":"en","type":"article","venue":"Journal of Symbolic Logic","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Cone (formal languages); Degree (music); Mathematics; Isomorphism (crystallography); Limit (mathematics); Turing; Discrete mathematics; Combinatorics; Turing machine; Pure mathematics; Computer science; Algorithm; Mathematical analysis; 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.002763554,0.0003442895,0.0007560898,0.001778197,0.001458705,0.005426609,0.001235333,0.000876643,0.004199042],"category_scores_gemma":[0.007625823,0.0004507848,0.001265624,0.001090131,0.00560831,0.007816983,0.003251352,0.002845156,0.0002378583],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003674795,"about_ca_system_score_gemma":0.001067155,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00352301,"about_ca_topic_score_gemma":0.002476364,"domain_scores_codex":[0.9968912,0.0007233848,0.0002103061,0.0005936123,0.0009387767,0.0006426454],"domain_scores_gemma":[0.9870451,0.00834802,0.0009569752,0.001179582,0.001024448,0.001445991],"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.0001144213,0.00005004576,0.002656693,0.00006391849,0.00001719162,0.0001383371,0.0005951422,0.009748071,0.002246047,0.9793068,0.0003924892,0.004670904],"study_design_scores_gemma":[0.00003947573,0.00007756842,0.002094502,0.00003082235,0.00002392914,0.0001647348,0.0004319616,0.04119721,0.003734363,0.9496726,0.002490239,0.00004255963],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8099624,0.0002893996,0.1623368,0.00126776,0.00003613828,0.00009366588,0.0003637193,0.0003323101,0.02531791],"genre_scores_gemma":[0.9858961,0.00008042474,0.01175801,0.00007661122,0.00002699009,0.00003137158,0.0001771645,0.00002442042,0.001928836],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.005426609,"threshold_uncertainty_score":0.02666259,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04343881680507022,"score_gpt":0.2852791939979936,"score_spread":0.2418403771929234,"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."}}