{"id":"W2799054834","doi":"10.3233/com-180094","title":"The reverse mathematics of Hindman’s Theorem for sums of exactly two elements","year":2018,"lang":"en","type":"preprint","venue":"Computability","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Mathematics; Reverse mathematics; Combinatorics; Computability; Ramsey's theorem; Discrete mathematics; Diagonal; Function (biology); Axiom","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.00330416,0.000686525,0.001102198,0.0008790194,0.002657871,0.003914188,0.001876215,0.001452805,0.007550917],"category_scores_gemma":[0.01039266,0.0007774038,0.002791602,0.001010648,0.00709832,0.01485566,0.004800176,0.007451884,0.001472853],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00245674,"about_ca_system_score_gemma":0.001833299,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001757736,"about_ca_topic_score_gemma":0.001599417,"domain_scores_codex":[0.9954311,0.0009080437,0.0003641537,0.001668558,0.001129765,0.000498358],"domain_scores_gemma":[0.9921014,0.00463209,0.0003845033,0.001751884,0.0008650847,0.0002650871],"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.00004342545,0.00001308365,0.0001504896,0.00007796621,0.00001218776,0.00003703146,0.0001466903,0.000659828,0.0008076217,0.990814,0.001709206,0.005528416],"study_design_scores_gemma":[0.00002957412,0.00002880202,0.0001700966,0.00002846701,0.00001908222,0.0001396987,0.00004659345,0.004346762,0.002082332,0.9777707,0.01531574,0.00002205339],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.09718162,0.002183777,0.6861071,0.01217964,0.001157595,0.0002200661,0.001241658,0.001635,0.1980936],"genre_scores_gemma":[0.6861572,0.001099169,0.2644701,0.00514767,0.001093197,0.0004823942,0.001156403,0.0007066497,0.03968722],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007550917,"threshold_uncertainty_score":0.02526039,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04319915243120117,"score_gpt":0.3186231787592454,"score_spread":0.2754240263280442,"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."}}