{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002959167,0.002353214,0.002420853,0.003944058,0.004930274,0.003898661,0.00395395,0.006872013,0.09798762],"category_scores_gemma":[0.031935,0.001291023,0.002397343,0.002504852,0.003170513,0.004879917,0.002724913,0.01020923,0.06464235],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.006601679,"about_ca_system_score_gemma":0.004353746,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.03035968,"about_ca_topic_score_gemma":0.04000493,"domain_scores_codex":[0.9961953,0.0006471424,0.0005313246,0.0006462915,0.001563788,0.0004161579],"domain_scores_gemma":[0.980682,0.004011081,0.0006326452,0.001063588,0.0128117,0.0007989598],"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.00001124421,0.000004078594,0.00001993647,0.00004441725,0.000004976253,0.00004694091,0.00001132769,0.00001836485,0.00001943993,0.001097536,0.997192,0.001529737],"study_design_scores_gemma":[0.00002618781,0.00001801822,0.0006976983,0.0001645326,0.00002880338,0.0001581659,0.00006249396,0.0001990425,0.0002190695,0.005240093,0.9931404,0.00004550419],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"editorial","genre_gemma":"other","genre_scores_codex":[0.0001236313,0.002763093,0.0006877261,0.1178352,0.8642154,0.00003816631,0.0009365678,0.00033797,0.01306229],"genre_scores_gemma":[0.01004784,0.01278067,0.003133606,0.1664243,0.3063939,0.0002571169,0.003122412,0.001194179,0.496646],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.09798762,"threshold_uncertainty_score":0.3278012,"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."}}