{"id":"W3008937182","doi":"10.1016/j.aam.2020.102013","title":"A proof of Rado's Theorem via principal extension","year":2020,"lang":"en","type":"article","venue":"Advances in Applied Mathematics","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Mathematics; Matroid; Partition (number theory); Combinatorics; Extension (predicate logic); Discrete mathematics","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":[],"consensus_categories":[],"category_scores_codex":[0.0004103363,0.0002542684,0.000631877,0.00006972539,0.00005026292,0.000004172202,0.000337158,0.0001403228,0.00008306558],"category_scores_gemma":[0.0006331696,0.0002158277,0.00007862446,0.000296058,0.0003012906,0.0001238808,0.0001465317,0.0002992275,0.00001916916],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002758017,"about_ca_system_score_gemma":0.0000250655,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":1.692217e-7,"about_ca_topic_score_gemma":0.000003310956,"domain_scores_codex":[0.9983289,0.00003647163,0.0007206837,0.0003343597,0.0002598575,0.0003197076],"domain_scores_gemma":[0.9980142,0.001012386,0.0004014195,0.0004407372,0.00004138337,0.00008987443],"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.0001385932,0.0003094932,0.00003592052,0.0009888248,0.00001342164,0.00001160419,0.003107605,0.0002750124,0.003167595,0.9814795,0.00002110329,0.01045134],"study_design_scores_gemma":[0.0006946084,0.00008019372,0.000006263639,0.00008921769,0.00002695239,0.00001105255,0.0008592947,0.002327932,0.02824843,0.966588,0.0008470484,0.0002210579],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05636746,0.000861503,0.8940322,0.0002521592,0.0001311819,0.001290629,0.00001033802,0.0001973685,0.04685711],"genre_scores_gemma":[0.712303,0.00005971782,0.2873116,0.0001536873,0.00004780164,0.00005033456,0.000002762122,0.00003991984,0.00003115134],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6559355,"threshold_uncertainty_score":0.8801198,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02872642442021885,"score_gpt":0.3115491558309599,"score_spread":0.2828227314107411,"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."}}