{"id":"W4382561381","doi":"10.1017/jsl.2023.46","title":"DEFINABLE -THEOREM FOR FAMILIES WITH VC-CODENSITY LESS THAN","year":2023,"lang":"en","type":"article","venue":"Journal of Symbolic Logic","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Division of Mathematical Sciences; Engineering and Physical Sciences Research Council; Fields Institute for Research in Mathematical Sciences","keywords":"Combinatorics; Conjecture; Mathematics; Intersection (aeronautics); Order (exchange); Omega; Property (philosophy); Discrete mathematics; Physics","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008643447,0.0001409766,0.0004303194,0.0001590274,0.0001651221,0.00001317227,0.0002169967,0.0001049977,0.00001801234],"category_scores_gemma":[0.0004105302,0.00009038286,0.0001340058,0.0002067175,0.0001754222,0.0001268219,0.00003889676,0.0002261769,0.00001909124],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003490529,"about_ca_system_score_gemma":0.00006570998,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001995045,"about_ca_topic_score_gemma":0.0000136727,"domain_scores_codex":[0.9990147,0.0000732143,0.0003247277,0.0001166049,0.0001667219,0.0003039984],"domain_scores_gemma":[0.9984402,0.0007812735,0.0003287799,0.0001828807,0.0001980552,0.00006882602],"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.0004600007,0.00009983428,0.001632252,0.0001226398,0.0001310888,0.0001480845,0.001345834,0.0001974129,0.0004521229,0.9918359,0.002370961,0.001203906],"study_design_scores_gemma":[0.0008102711,0.0003578092,0.001222711,0.00005712403,0.00007766827,0.0003653326,0.004456101,0.00004598612,0.001194626,0.9905379,0.0007484261,0.0001260447],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9717913,0.0001345444,0.02374037,0.0006592878,0.0002320495,0.0001735328,0.000007374108,0.00006820553,0.003193293],"genre_scores_gemma":[0.9870662,0.0001372425,0.01070711,0.0001850207,0.0002026051,0.000007912892,0.000001749953,0.00002513035,0.001666991],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.01527489,"threshold_uncertainty_score":0.3685706,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07198059426068447,"score_gpt":0.3253716880741173,"score_spread":0.2533910938134328,"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."}}