{"id":"W2129363018","doi":"10.4064/fm170-1-4","title":"A property of the solvable radical in finitely decidable varieties","year":2001,"lang":"en","type":"article","venue":"Fundamenta Mathematicae","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Decidability; Mathematics; Congruence relation; Type (biology); Finitely-generated abelian group; Pure mathematics; Class (philosophy); Combinatorics; Discrete mathematics; Computer science","routes":{"ca_aff":true,"ca_fund":true,"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.0002788568,0.0001131506,0.0002079884,0.00005204235,0.0000838198,0.00006157734,0.0009131688,0.00004308956,0.0001587145],"category_scores_gemma":[0.0001147348,0.00005747667,0.00006352855,0.0004946461,0.0001296179,0.0003027757,0.00034171,0.0001239488,0.00005604663],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004228964,"about_ca_system_score_gemma":0.00006365643,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001751004,"about_ca_topic_score_gemma":0.00001734472,"domain_scores_codex":[0.9988539,0.00005778132,0.0003124282,0.0002153563,0.000287189,0.0002734024],"domain_scores_gemma":[0.9990797,0.0001604373,0.0001009863,0.0005892133,0.00002394239,0.00004571695],"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.0000352135,0.00123637,0.01021504,0.0002052984,0.00003637212,0.00004042423,0.005230188,0.0003199529,0.002536894,0.9642794,0.003119268,0.01274561],"study_design_scores_gemma":[0.001193218,0.0002171857,0.006072663,0.0002678376,0.00001415285,0.0001222355,0.0003891285,0.03250823,0.00611706,0.9213194,0.03138926,0.0003896838],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1604097,0.0003133798,0.7537811,0.004570119,0.0004180222,0.001164696,0.000002298213,0.0001826793,0.07915799],"genre_scores_gemma":[0.9262695,0.00002179325,0.06856357,0.0004789363,0.0000199529,0.00005609361,4.089705e-7,0.00000997529,0.004579708],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7658599,"threshold_uncertainty_score":0.2343831,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02705426610034308,"score_gpt":0.241432413513355,"score_spread":0.2143781474130119,"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."}}