{"id":"W2005047182","doi":"10.1016/j.jalgebra.2006.03.033","title":"Elementary theory of free non-abelian groups","year":2006,"lang":"en","type":"article","venue":"Journal of Algebra","topic":"Geometric and Algebraic Topology","field":"Mathematics","cited_by":240,"is_retracted":false,"has_abstract":false,"ca_institutions":"McGill University","funders":"","keywords":"Mathematics; Abelian group; Decidability; Elementary theory; Pure mathematics; Elementary abelian group; Algebra over a field; Discrete mathematics; Computer science","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.0009789137,0.0001325404,0.0004236453,0.0003986865,0.0000414761,0.000009777248,0.0004418105,0.00008605282,0.0008257088],"category_scores_gemma":[0.0003270868,0.0001012617,0.000219895,0.0003430448,0.0001049939,0.0001267171,0.00008386815,0.0002386654,0.00001169545],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003423636,"about_ca_system_score_gemma":0.00006190623,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002834723,"about_ca_topic_score_gemma":0.00001184736,"domain_scores_codex":[0.998395,0.00008203761,0.0008410555,0.00009285856,0.0003572786,0.0002318158],"domain_scores_gemma":[0.9981777,0.0005216142,0.0007873576,0.0002906002,0.000152416,0.00007029189],"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.0001403693,0.0007671274,0.01032238,0.0001360717,0.0003258965,0.0001275708,0.0004009797,0.000006227564,0.003509931,0.8632282,0.1147698,0.006265434],"study_design_scores_gemma":[0.001258149,0.0003757005,0.01163993,0.00004654653,0.000116366,0.0001587805,0.0005028,0.000003477309,0.005883509,0.9786208,0.001284835,0.0001090931],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9865051,0.0004760253,0.006917518,0.0006249112,0.0003864019,0.00008018937,0.00000843908,0.00001026068,0.004991134],"genre_scores_gemma":[0.9852008,0.00002582905,0.01352182,0.0001424249,0.0004803358,8.157831e-7,0.000001362921,0.00001980275,0.0006067952],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.1153926,"threshold_uncertainty_score":0.9040933,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01519723602507891,"score_gpt":0.2565628080292733,"score_spread":0.2413655720041944,"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."}}