{"id":"W4412820659","doi":"10.4171/ggd/885","title":"First-order model theory and Kaplansky’s stable finiteness conjecture for surjunctive groups","year":2025,"lang":"en","type":"article","venue":"Groups Geometry and Dynamics","topic":"Homotopy and Cohomology in Algebraic Topology","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Montréal","funders":"","keywords":"Mathematics; Conjecture; Order (exchange); Pure mathematics; Model theory; Discrete mathematics; Economics","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0008467406,0.0002891694,0.0005017952,0.0002474904,0.0004107015,0.00004522175,0.000177,0.0004591975,0.00003865229],"category_scores_gemma":[0.0007441817,0.0002578533,0.00006960405,0.0003591523,0.0003733302,0.0001225029,0.0001677412,0.0003089702,0.000001489211],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005191439,"about_ca_system_score_gemma":0.00006890277,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001243761,"about_ca_topic_score_gemma":0.0003144561,"domain_scores_codex":[0.9985749,0.000121715,0.0003094568,0.0004700584,0.00009067026,0.0004332025],"domain_scores_gemma":[0.9963201,0.003067247,0.0001018688,0.0003214102,0.0001069166,0.0000824458],"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.0003564695,0.0001015391,0.003244959,0.0004214242,0.000186223,0.000007335936,0.0005412633,0.0002648279,0.000006582328,0.9928707,0.0002635281,0.001735147],"study_design_scores_gemma":[0.001133386,0.0001305364,0.0006520444,0.00003774974,0.0001629129,0.00003803175,0.0008345683,0.09942134,0.00001732447,0.8970916,0.0002283045,0.0002522564],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4386769,0.0004847634,0.558189,0.0005385652,0.0002670557,0.000388962,0.000186636,0.00007089656,0.001197214],"genre_scores_gemma":[0.9855999,0.0001497873,0.008749967,0.0007889192,0.00005731371,0.0001342945,0.00008763482,0.00003225544,0.00439994],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.5494391,"threshold_uncertainty_score":0.9999874,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01275494579282488,"score_gpt":0.2707094699770391,"score_spread":0.2579545241842142,"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."}}