{"id":"W1849716023","doi":"10.1002/malq.201400110","title":"Computable axiomatizability of elementary classes","year":2016,"lang":"en","type":"article","venue":"Mathematical logic quarterly","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Ultraproduct; Class (philosophy); Algebra over a field; New class; Calculus (dental)","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":[],"consensus_categories":[],"category_scores_codex":[0.001006164,0.0002859,0.0006076487,0.0001061937,0.00007885105,0.00008341595,0.001426292,0.0001050016,0.0005170787],"category_scores_gemma":[0.0001613263,0.0001736312,0.0002005668,0.0003959277,0.0003083406,0.0004844189,0.000286706,0.0001026537,0.0003582927],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001038395,"about_ca_system_score_gemma":0.00006456766,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001166451,"about_ca_topic_score_gemma":0.000003132944,"domain_scores_codex":[0.997016,0.0002522788,0.0009281163,0.0006642925,0.0005987195,0.0005406543],"domain_scores_gemma":[0.9965896,0.001481039,0.0002285354,0.001333285,0.0001794813,0.0001880532],"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.00001202005,0.001368686,0.0009331083,0.000317716,0.0000545106,0.00001868204,0.0009718567,0.000009696126,0.003608087,0.7797338,0.0006869429,0.2122849],"study_design_scores_gemma":[0.0005164616,0.00102885,0.001948998,0.00007340356,0.00001183547,0.00003716739,0.00007606643,0.02416246,0.001371256,0.9702901,0.0001992172,0.0002841696],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0795188,0.00003173028,0.9139115,0.002203702,0.0001966711,0.0003984042,0.00001015389,0.0003279675,0.003401109],"genre_scores_gemma":[0.7380913,0.000001000079,0.2616261,0.0001269586,0.00004511687,0.00002590028,0.000001052766,0.000009936611,0.00007256204],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6585726,"threshold_uncertainty_score":0.7080475,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01874614663021237,"score_gpt":0.2547314686027202,"score_spread":0.2359853219725078,"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."}}