{"id":"W3126081226","doi":"","title":"Computable Axiomatizability of Elementary Classes","year":2016,"lang":"en","type":"article","venue":"","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Ultraproduct; Mathematics; Class (philosophy); Algebra over a field; Pure mathematics; Discrete mathematics; Computer science; Artificial intelligence","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":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0002123771,0.00005693608,0.0001437831,0.00002064732,0.00002545329,8.167888e-7,0.00008554349,0.00003520431,0.002120388],"category_scores_gemma":[0.0001480348,0.00003196223,0.00003465316,0.00003679815,0.0001419689,0.00007545838,0.00004324032,0.00002233774,0.00002712008],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000152163,"about_ca_system_score_gemma":0.00001169538,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003665182,"about_ca_topic_score_gemma":0.00000959055,"domain_scores_codex":[0.9994868,0.00005232604,0.0001941639,0.0000949073,0.00005953129,0.0001122597],"domain_scores_gemma":[0.9988374,0.0008428174,0.00005946189,0.0002058527,0.00003147826,0.00002296965],"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.00002472203,0.0001191643,0.004624714,0.00004374849,0.00002587259,8.352649e-7,0.00005244268,5.936436e-7,0.005240185,0.9818214,0.002395681,0.005650625],"study_design_scores_gemma":[0.0002680267,0.00003835612,0.0003478609,0.00001355871,0.000007281397,0.000002331288,0.00009044066,0.00001210111,0.04000176,0.9583488,0.0008189926,0.0000505657],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6918105,0.00001924537,0.2858,0.0004546664,0.00007861776,0.000109862,0.000009584475,0.00008068919,0.02163679],"genre_scores_gemma":[0.9472988,0.000004864796,0.05088769,0.00006636007,0.00001484199,0.000003057763,6.132021e-7,0.000005468212,0.001718332],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.2554882,"threshold_uncertainty_score":0.9987918,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03620435954778145,"score_gpt":0.3348854344190125,"score_spread":0.298681074871231,"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."}}