{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004028586,0.0003114434,0.0005950596,0.00115364,0.001390373,0.001730187,0.001046681,0.0007696904,0.003693179],"category_scores_gemma":[0.00673017,0.0003446535,0.0007179285,0.0005451901,0.006272642,0.007298427,0.002686231,0.002210308,0.0002506911],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00134581,"about_ca_system_score_gemma":0.0005785619,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007859992,"about_ca_topic_score_gemma":0.0009301849,"domain_scores_codex":[0.9983,0.0006362022,0.0001020667,0.0003817774,0.0003971966,0.0001826437],"domain_scores_gemma":[0.9944828,0.003554318,0.0005714578,0.0006617585,0.0004726897,0.0002570565],"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.00002322801,0.00000976137,0.000316886,0.00002039682,0.000007247659,0.00006636725,0.0001180665,0.0009360966,0.0007631953,0.9955973,0.0002493454,0.001892123],"study_design_scores_gemma":[0.00001438036,0.00003095202,0.0005223157,0.00001583719,0.00001306439,0.0001010699,0.0001059367,0.006053239,0.001230182,0.9893935,0.002500458,0.00001917697],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5167654,0.001784767,0.388099,0.00574831,0.0002580283,0.00006476176,0.0002769465,0.0004588469,0.08654398],"genre_scores_gemma":[0.9788722,0.0001950641,0.01684806,0.0004035859,0.0001039745,0.00003785198,0.00005829635,0.00003009512,0.003450737],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.004028586,"threshold_uncertainty_score":0.02130544,"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."}}