{"id":"W2741595739","doi":"10.1016/j.apal.2017.07.001","title":"Corrigendum to “The d.r.e. degrees are not dense” [Ann. Pure Appl. Logic 55 (1991) 125–151]","year":2017,"lang":"en","type":"erratum","venue":"Annals of Pure and Applied Logic","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Mathematics; Discrete mathematics; Artificial intelligence; Computer science; Mathematical economics; Calculus (dental); Medicine","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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","open_science"],"consensus_categories":[],"category_scores_codex":[0.001484263,0.001227045,0.00183868,0.0003695685,0.0009141869,0.0008374027,0.006338838,0.001256234,0.00006834718],"category_scores_gemma":[0.0002800763,0.0008762414,0.0005156161,0.0006264466,0.0005380692,0.0002523647,0.003158448,0.00176155,0.0003673201],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004988393,"about_ca_system_score_gemma":0.0002827404,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00008016596,"about_ca_topic_score_gemma":0.0004312064,"domain_scores_codex":[0.9937679,0.0002108632,0.001045516,0.002262293,0.00130346,0.001409957],"domain_scores_gemma":[0.9935285,0.0002316259,0.001405996,0.003687475,0.000601153,0.000545209],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00003580557,0.0002190483,0.00003828447,0.0002518493,0.0001218902,0.00009124876,0.0004447177,0.0001504015,0.00004731453,0.01773285,0.9337453,0.04712128],"study_design_scores_gemma":[0.0004224373,0.0005006069,0.004640921,0.0002361252,0.0001098462,0.0001008866,0.0002275182,0.002213362,0.000238132,0.07796944,0.9116006,0.001740096],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002969058,0.06390344,0.2828426,0.19986,0.1690227,0.01903981,0.002354661,0.003341294,0.2566664],"genre_scores_gemma":[0.4884567,0.01184851,0.06208464,0.09126795,0.0346263,0.003025625,0.001584147,0.000806907,0.3062992],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.4854876,"threshold_uncertainty_score":0.9993688,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1098005144807524,"score_gpt":0.3076933068725218,"score_spread":0.1978927923917694,"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."}}