{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008358518,0.0005614785,0.0005256713,0.001254587,0.001249755,0.00224489,0.0007940817,0.0008413005,0.004302986],"category_scores_gemma":[0.00152313,0.0002170406,0.0007829746,0.0006534371,0.003806698,0.005500346,0.002005005,0.001469244,0.0003987835],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001459828,"about_ca_system_score_gemma":0.0006455776,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001156163,"about_ca_topic_score_gemma":0.0008599579,"domain_scores_codex":[0.9995131,0.0000728318,0.00002184648,0.0001129906,0.0001645249,0.0001147327],"domain_scores_gemma":[0.9991128,0.0003348889,0.0001218947,0.0001519231,0.0001456962,0.0001328339],"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.00001290453,0.00001221482,0.0004260282,0.00002452054,0.000006364953,0.00008671717,0.0003689378,0.0006797502,0.001044162,0.9952117,0.0003128132,0.001813934],"study_design_scores_gemma":[0.00001704883,0.00003418902,0.0005547084,0.00001218296,0.000009321094,0.0001368773,0.0002763399,0.003222415,0.00169928,0.9908718,0.003153135,0.00001265382],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7673449,0.00133406,0.1314482,0.003823164,0.0002169573,0.00005355438,0.0002504246,0.0002678324,0.09526093],"genre_scores_gemma":[0.9910943,0.000263768,0.003594172,0.00008136486,0.00007042791,0.00001817997,0.00008828568,0.00001348151,0.004776113],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.004302986,"threshold_uncertainty_score":0.01439488,"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."}}