{"id":"W4410231175","doi":"10.1007/s00233-025-10527-0","title":"Descending chains of varieties of completely regular semigroups","year":2025,"lang":"en","type":"article","venue":"Semigroup Forum","topic":"semigroups and automata theory","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Mathematics; Algebra over a field; Regular semigroup; Pure mathematics; Semigroup; Arithmetic; Special classes of semigroups; Combinatorics; Discrete mathematics","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.0006692311,0.0002510968,0.000535232,0.000364769,0.0001412994,0.00005150701,0.001519684,0.0001407438,0.00002185002],"category_scores_gemma":[0.00009020713,0.0002399859,0.0002300527,0.0009723179,0.0002383736,0.0003979099,0.0007209174,0.0001827741,0.000006310273],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005516878,"about_ca_system_score_gemma":0.00009214464,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001074623,"about_ca_topic_score_gemma":0.00001905955,"domain_scores_codex":[0.9978911,0.0001042065,0.0006586192,0.0004510069,0.0003795365,0.0005154748],"domain_scores_gemma":[0.9980845,0.0002947331,0.0003187288,0.001093649,0.0001348662,0.00007355657],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.0000168567,0.0001045249,0.003105704,0.0001770457,0.00007537205,0.000004889797,0.0006555825,0.00004723885,0.03434147,0.9468675,0.003671943,0.01093185],"study_design_scores_gemma":[0.002518089,0.0006273075,0.01564131,0.001542582,0.0001176281,0.00005656483,0.003653334,0.1121803,0.4370549,0.4003506,0.02501093,0.001246401],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1496478,0.002076529,0.8337931,0.001540515,0.0009356081,0.0003806277,0.00003212179,0.0003721196,0.01122157],"genre_scores_gemma":[0.984584,0.00005030162,0.01392928,0.0003945967,0.00002677869,0.00001236248,0.000009069277,0.00001577843,0.0009778083],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8349362,"threshold_uncertainty_score":0.9786341,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.005350251740365935,"score_gpt":0.2239998652729443,"score_spread":0.2186496135325784,"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."}}