{"id":"W2136273143","doi":"10.2178/jsl.7801130","title":"Random reals, the rainbow Ramsey theorem, and arithmetic conservation","year":2013,"lang":"en","type":"article","venue":"Journal of Symbolic Logic","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Rainbow; Ramsey's theorem; Mathematics; Ramsey theory; Section (typography); Discrete mathematics; Base (topology); Order (exchange); Combinatorics; Ran; Arithmetic; Computer science","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.002240595,0.0001847992,0.0004213207,0.000139113,0.0001821604,0.0004223626,0.001054856,0.0000871256,0.00004803462],"category_scores_gemma":[0.0005537345,0.0001013414,0.00013932,0.0003953511,0.000244475,0.0005926597,0.0002831381,0.0003695163,0.00002585825],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005463126,"about_ca_system_score_gemma":0.0001154619,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00008810585,"about_ca_topic_score_gemma":0.000003290704,"domain_scores_codex":[0.9979239,0.00044709,0.0006422944,0.0002381319,0.0004545595,0.000294088],"domain_scores_gemma":[0.9972997,0.001087737,0.0005044583,0.000483558,0.0004744121,0.0001501309],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001742501,0.0009449354,0.02086316,0.0001445868,0.0004689119,0.0002046714,0.01095651,0.001435083,0.004571101,0.3871907,0.02209201,0.550954],"study_design_scores_gemma":[0.002862598,0.000478209,0.1418535,0.00005384063,0.00004494045,0.001738425,0.0002568002,0.07810865,0.0001967123,0.7716517,0.002448623,0.0003060103],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.4885632,0.002364805,0.4365621,0.06752932,0.001388371,0.0009678455,0.000001316375,0.0001139646,0.002509033],"genre_scores_gemma":[0.9685496,0.0001919328,0.02798965,0.002847605,0.0003091141,0.00001085809,3.249681e-7,0.000008762628,0.00009216558],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.550648,"threshold_uncertainty_score":0.4132582,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01403643530093572,"score_gpt":0.2270762544515826,"score_spread":0.2130398191506468,"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."}}