{"id":"W2735620533","doi":"10.70930/tac/kxsbnt6z","title":"Birkhoff's Variety Theorem With and Without Free Algebras","year":2005,"lang":"en","type":"article","venue":"Theory and applications of categories","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Variety (cybernetics); Mathematics; Pure mathematics; Algebra over a field; Statistics","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"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.003167165,0.0005597117,0.00101764,0.001979693,0.003054137,0.004197298,0.001261577,0.001212993,0.005382221],"category_scores_gemma":[0.005967712,0.0004154159,0.001451013,0.001787272,0.007835204,0.01329006,0.003941225,0.002677833,0.0008331616],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001854125,"about_ca_system_score_gemma":0.0009330511,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001651691,"about_ca_topic_score_gemma":0.0007481873,"domain_scores_codex":[0.9970291,0.0004760764,0.000206307,0.0008547566,0.0009594613,0.0004741825],"domain_scores_gemma":[0.997166,0.001343676,0.0001965444,0.000619561,0.0004527208,0.0002216256],"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.00001073516,0.000003956882,0.0001366237,0.0000112906,0.000003094658,0.00003770302,0.000110843,0.000114481,0.0001605974,0.9968994,0.0004547885,0.002056642],"study_design_scores_gemma":[0.000009705524,0.0000100965,0.0001836041,0.000008459231,0.000006089616,0.0001105721,0.00005422773,0.0007961186,0.0004228305,0.992463,0.005925981,0.000009245985],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2269492,0.009594726,0.4968464,0.006067696,0.001003145,0.0001284733,0.0008431036,0.0008448511,0.2577225],"genre_scores_gemma":[0.9454722,0.001595956,0.03591805,0.0007057901,0.0005401566,0.0001690589,0.0004679977,0.0001319579,0.01499878],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005382221,"threshold_uncertainty_score":0.01800531,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.006019634179096197,"score_gpt":0.2254497994767977,"score_spread":0.2194301652977015,"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."}}