{"id":"W4412645737","doi":"10.4153/s000843952510091x","title":"A classification of incompleteness statements","year":2025,"lang":"en","type":"article","venue":"Canadian Mathematical Bulletin","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"National Science Foundation","keywords":"Mathematics; Pure mathematics","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01098406,0.0007690951,0.001033046,0.003620711,0.001888571,0.003590263,0.001759665,0.001637893,0.004979367],"category_scores_gemma":[0.04819688,0.0006829369,0.001195682,0.003417603,0.005926643,0.0110769,0.003379248,0.004197623,0.0006119334],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002123344,"about_ca_system_score_gemma":0.002051765,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001466443,"about_ca_topic_score_gemma":0.0008380297,"domain_scores_codex":[0.9931175,0.001519368,0.000616311,0.0009729005,0.002983574,0.0007904215],"domain_scores_gemma":[0.9461212,0.03333689,0.004684744,0.005951726,0.008552234,0.001353227],"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.0001718226,0.00006457292,0.006272277,0.0002497732,0.00004431577,0.0005783266,0.001569516,0.005617419,0.001856031,0.9529091,0.004176741,0.02649021],"study_design_scores_gemma":[0.00004355223,0.00004845008,0.002196932,0.0002309679,0.00005059437,0.0006437398,0.000758599,0.01925452,0.004943395,0.9529482,0.01883052,0.00005060923],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.485319,0.003449,0.4224354,0.01078413,0.0003118809,0.0003425939,0.002807423,0.00116533,0.07338522],"genre_scores_gemma":[0.9567595,0.0009297683,0.03390745,0.0006464392,0.0002695697,0.0001875784,0.002053665,0.0001644198,0.005081621],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.01098406,"threshold_uncertainty_score":0.05808997,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02469761109309322,"score_gpt":0.2878158349704852,"score_spread":0.263118223877392,"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."}}