{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002360517,0.0004965473,0.0009568084,0.002395556,0.003339442,0.003592918,0.001648662,0.001272396,0.008005114],"category_scores_gemma":[0.007629946,0.0006677499,0.001735944,0.001479159,0.004036829,0.006312249,0.003002502,0.002681701,0.0004918421],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004179373,"about_ca_system_score_gemma":0.001112932,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00298786,"about_ca_topic_score_gemma":0.002466368,"domain_scores_codex":[0.9977726,0.0003536031,0.0001097924,0.0007810263,0.000587063,0.0003958317],"domain_scores_gemma":[0.9917019,0.005559254,0.0003846033,0.0008263752,0.0008936806,0.000634323],"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.00009230829,0.00005365043,0.002991745,0.00009285854,0.00003170995,0.0002326871,0.0005774724,0.002283058,0.001557248,0.9849437,0.002035625,0.005107842],"study_design_scores_gemma":[0.00007420497,0.00004959846,0.001944747,0.00006159956,0.00006142967,0.0006905535,0.0003572719,0.02249312,0.003202802,0.9572499,0.01377287,0.00004186719],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6056151,0.001409656,0.2825272,0.004571982,0.0003152445,0.0001485342,0.002491466,0.001170144,0.1017508],"genre_scores_gemma":[0.9763659,0.0002293398,0.0158285,0.0006416119,0.0001559957,0.0001493953,0.001390769,0.0001002116,0.005138366],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.008005114,"threshold_uncertainty_score":0.03032362,"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."}}