{"id":"W4409371624","doi":"10.1016/j.tcs.2025.115228","title":"Stable finiteness of monoid algebras and surjunctivity","year":2025,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"Mathematical and Theoretical Analysis","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université de Montréal; Computer Research Institute of Montréal","funders":"","keywords":"Monoid; Syntactic monoid; Free monoid; Mathematics; Algebra over a field; Pure mathematics; Combinatorics","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.003356242,0.0008506232,0.001297575,0.002887078,0.003402604,0.006244709,0.001915619,0.001104854,0.00641848],"category_scores_gemma":[0.005844733,0.001155601,0.001892857,0.002047697,0.00720943,0.01502966,0.003985271,0.003385981,0.0006701933],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002079661,"about_ca_system_score_gemma":0.001187623,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001476777,"about_ca_topic_score_gemma":0.001355681,"domain_scores_codex":[0.9973774,0.0006005354,0.0002528239,0.0007663506,0.0006300582,0.0003729246],"domain_scores_gemma":[0.991596,0.00447505,0.0005738684,0.001051519,0.001526564,0.0007769402],"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.00003937714,0.00002178866,0.0003620719,0.00004074809,0.00001965884,0.00007635576,0.0005158968,0.0002920555,0.0005517832,0.9953601,0.0002128438,0.002507252],"study_design_scores_gemma":[0.00001082346,0.00001488936,0.0002249334,0.00000983441,0.00001469067,0.00007844718,0.0001340936,0.0008117754,0.0006152829,0.9969643,0.001109239,0.0000117458],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5861126,0.004670339,0.2671141,0.002451836,0.0004559608,0.00008770693,0.0007473668,0.0005230955,0.137837],"genre_scores_gemma":[0.9792906,0.0007057665,0.009573098,0.0002071105,0.0002338226,0.00005221104,0.0003842877,0.00006899414,0.009484062],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.00641848,"threshold_uncertainty_score":0.02147192,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01547476452453941,"score_gpt":0.2795435810429586,"score_spread":0.2640688165184192,"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."}}