{"id":"W1976341314","doi":"10.1006/aama.1999.0661","title":"The Strong Independence Theorem for Automorphism Groups and Congruence Lattices of Arbitrary Lattices","year":2000,"lang":"en","type":"article","venue":"Advances in Applied Mathematics","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":19,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Manitoba","funders":"","keywords":"Mathematics; Automorphism; Lattice (music); Algebraic number; Congruence (geometry); Independence (probability theory); Pure mathematics; Combinatorics; Automorphism group; Discrete mathematics; Algebra over a field; Mathematical analysis; Geometry","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.000500269,0.0001793313,0.0002726715,0.00004315039,0.0001723504,0.00007258054,0.0008863863,0.00006519749,0.000008295067],"category_scores_gemma":[0.00005891829,0.0001242017,0.00004144697,0.000228428,0.0003564149,0.0005750202,0.0001106766,0.0001662873,0.0000047049],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001469798,"about_ca_system_score_gemma":0.00002983847,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001153968,"about_ca_topic_score_gemma":0.00002008059,"domain_scores_codex":[0.998651,0.00001775165,0.0004192996,0.0003233861,0.0002663541,0.0003222502],"domain_scores_gemma":[0.9973764,0.001837736,0.0002415597,0.0004631156,0.00003127917,0.00004991658],"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.00001570192,0.00004414621,0.00007447177,0.0001215405,0.000006182434,0.000001589456,0.0006584718,0.0003333111,0.00008423891,0.9156892,0.000001721949,0.08296941],"study_design_scores_gemma":[0.0003745268,0.00007287657,0.0002208584,0.00006912009,0.000009720753,0.000009972646,0.0003963876,0.02471851,0.0008591655,0.9717832,0.001303608,0.0001820298],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1507138,0.01019435,0.7988009,0.0003561873,0.0002557544,0.001666948,0.00001509613,0.0002389234,0.03775805],"genre_scores_gemma":[0.7471268,0.001027374,0.2515968,0.0000761656,0.00001998131,0.0000917712,7.222965e-7,0.00001037612,0.0000499464],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.596413,"threshold_uncertainty_score":0.5064797,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01191591219387377,"score_gpt":0.2628571735438551,"score_spread":0.2509412613499813,"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."}}