{"id":"W4376129855","doi":"10.1016/j.apal.2023.103286","title":"Forcing with copies of the Rado and Henson graphs","year":2023,"lang":"en","type":"article","venue":"Annals of Pure and Applied Logic","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"Centre National de la Recherche Scientifique; Natural Sciences and Engineering Research Council of Canada; Consejo Nacional de Ciencia y Tecnología","keywords":"Forcing (mathematics); Mathematics; Combinatorics; Graph; Distributive property; Discrete mathematics; Pure mathematics; Mathematical analysis","routes":{"ca_aff":true,"ca_fund":true,"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.0001708204,0.00007001589,0.0001767165,0.00003137055,0.00007095039,0.000002345469,0.00005746241,0.0000508801,0.00000613106],"category_scores_gemma":[0.00002715612,0.00003887323,0.00002277084,0.0001185856,0.0002608111,0.00001899504,0.0000452639,0.00006635298,5.579521e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":4.144779e-7,"about_ca_system_score_gemma":0.000004565934,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":8.666082e-7,"about_ca_topic_score_gemma":0.000007300685,"domain_scores_codex":[0.9996152,0.00001718893,0.0001084479,0.00009186485,0.0000599089,0.0001073717],"domain_scores_gemma":[0.9995412,0.000213516,0.00009009561,0.0001183328,0.00002034582,0.00001648893],"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.00005701781,0.00001462616,0.0007434628,0.0001257182,0.00003062854,0.000001077483,0.0007446631,0.00001176724,0.001519889,0.9948179,0.0005723878,0.001360901],"study_design_scores_gemma":[0.0001779652,0.00006073747,0.00178804,0.00002989928,0.00001709807,0.000003974218,0.001305012,0.00000464194,0.01341767,0.9829938,0.0001498852,0.00005130478],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9961335,0.0003216424,0.0002334957,0.0006395021,0.00001318379,0.0001352181,0.000005356186,0.00002267956,0.002495435],"genre_scores_gemma":[0.9989027,0.000213663,0.000497977,0.000204301,0.000008090646,0.000006490772,9.779735e-7,0.000005775029,0.0001600298],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.01189778,"threshold_uncertainty_score":0.1585204,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07347100660882844,"score_gpt":0.3252654999441475,"score_spread":0.2517944933353191,"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."}}