{"id":"W4402522828","doi":"10.1002/malq.202400030","title":"Effectiveness of Walker's cancellation theorem","year":2024,"lang":"en","type":"article","venue":"Mathematical logic quarterly","topic":"Power Line Communications and Noise","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Mathematics; Mathematical economics; Calculus (dental); Discrete mathematics; Mathematics education; 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.008067099,0.000552456,0.001410764,0.001499829,0.002185144,0.003622339,0.00202815,0.001405357,0.01275614],"category_scores_gemma":[0.0372719,0.0004252728,0.001408952,0.0009572442,0.003713694,0.007727377,0.004230499,0.002440405,0.001296267],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00209647,"about_ca_system_score_gemma":0.002180498,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001206237,"about_ca_topic_score_gemma":0.0006558338,"domain_scores_codex":[0.9879609,0.003931806,0.000733129,0.001270282,0.005049042,0.001054802],"domain_scores_gemma":[0.9536759,0.03570875,0.00144967,0.004535268,0.003443966,0.001186539],"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.0002781677,0.00007143242,0.001005976,0.0001122792,0.00003005188,0.0001253696,0.0001252801,0.008763976,0.002060293,0.9692045,0.00229676,0.0159259],"study_design_scores_gemma":[0.00008579459,0.0001190899,0.00035759,0.00002659141,0.00002827048,0.0001898404,0.00005556298,0.07819877,0.006887031,0.9073045,0.006708615,0.00003840998],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.2635111,0.001071638,0.4765982,0.004751976,0.0005330435,0.0004043464,0.0009140653,0.001573036,0.2506427],"genre_scores_gemma":[0.9592896,0.0002849655,0.02744118,0.0005626873,0.0002508268,0.0001720696,0.0003760264,0.0001065214,0.01151621],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.01275614,"threshold_uncertainty_score":0.04267353,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01013767552384534,"score_gpt":0.2465455377087764,"score_spread":0.2364078621849311,"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."}}