{"id":"W1975177932","doi":"10.1090/tran/6659","title":"Vapnik-Chervonenkis density in some theories without the independence property, I","year":2015,"lang":"en","type":"article","venue":"Transactions of the American Mathematical Society","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":62,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"Engineering and Physical Sciences Research Council; Natural Sciences and Engineering Research Council of Canada; Humboldt-Universität zu Berlin; London Mathematical Society; National Science Foundation","keywords":"Semantics (computer science); Independence (probability theory); Mathematics; Annotation; Type (biology); Discrete mathematics; Computer science; Artificial intelligence; Statistics; Programming language","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.001317052,0.0001946482,0.0004763984,0.00001900274,0.0002188473,0.00001276115,0.0006253037,0.00009291482,0.00005041757],"category_scores_gemma":[0.000371402,0.0000897292,0.0003098482,0.0003889266,0.002505497,0.0001617049,0.00005687544,0.0006142706,0.00001791886],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008531412,"about_ca_system_score_gemma":0.0001083901,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00009780534,"about_ca_topic_score_gemma":0.0000466144,"domain_scores_codex":[0.9983382,0.0003358009,0.0004066824,0.0002097358,0.0004121215,0.0002974772],"domain_scores_gemma":[0.9979196,0.0009215633,0.0002613979,0.0007172792,0.0001021262,0.00007803871],"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.0002973789,0.001344558,0.003152336,0.000309393,0.0003852712,0.000003039938,0.03796773,0.0005034776,0.0009392384,0.9509179,0.0004437288,0.003735969],"study_design_scores_gemma":[0.0003063611,0.00006540588,0.0003615591,0.00005329325,0.00008651028,0.00002668346,0.009262698,0.0008465598,0.001819554,0.986984,0.00004675355,0.0001406528],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7095956,0.0000561582,0.2841702,0.003574163,0.0001125798,0.0006273204,0.00001052557,0.00010187,0.001751535],"genre_scores_gemma":[0.9800226,0.00002271854,0.01837086,0.00038581,0.0000274311,0.00004621296,2.638667e-7,0.00002438099,0.00109971],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.270427,"threshold_uncertainty_score":0.9231608,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0391916574603144,"score_gpt":0.3154659668666663,"score_spread":0.2762743094063519,"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."}}