{"id":"W2094989795","doi":"10.1007/bf02904233","title":"A non-commutative version of the first alexandroff decomposition theorem in ordered topological groups","year":2000,"lang":"en","type":"article","venue":"Rendiconti del Circolo Matematico di Palermo Series 2","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université de Sherbrooke","funders":"","keywords":"Mathematics; Decomposition theorem; Commutative property; Decomposition; Uniqueness; Metric (unit); Pure mathematics; Picard–Lindelöf theorem; Topology (electrical circuits); Discrete mathematics; Combinatorics; Fixed-point theorem; Mathematical analysis","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.000296125,0.0002546903,0.0005046358,0.0001008974,0.0002571078,0.00007072504,0.001073022,0.0001413876,0.0003345939],"category_scores_gemma":[0.00004232749,0.0001751686,0.0001465021,0.0006265641,0.0002999335,0.0006592167,0.0002423476,0.0002187421,0.00005664679],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007878552,"about_ca_system_score_gemma":0.00003665772,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000219394,"about_ca_topic_score_gemma":0.00008265231,"domain_scores_codex":[0.9980968,0.0002061043,0.0006048048,0.0003889683,0.000316183,0.0003871078],"domain_scores_gemma":[0.998697,0.0002149272,0.0002727627,0.000690951,0.00005826555,0.00006610978],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"observational","study_design_scores_codex":[0.001538467,0.003486059,0.08029422,0.002945146,0.0004410408,0.0005677774,0.04791892,0.009747148,0.0105333,0.7970886,0.001339167,0.04410014],"study_design_scores_gemma":[0.003915751,0.001059181,0.7417229,0.001335891,0.00006852754,0.0003198224,0.001568622,0.02834902,0.01169808,0.208383,0.0005245678,0.001054644],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9801142,0.0001771675,0.01194565,0.0009589365,0.0002037763,0.0006887305,0.00001027939,0.0001007421,0.005800517],"genre_scores_gemma":[0.9972595,0.00008306235,0.002196121,0.0002228898,0.00001688861,0.0000519904,0.000007809037,0.00001200489,0.0001497297],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.6614287,"threshold_uncertainty_score":0.7143168,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.006793697749464107,"score_gpt":0.2325782408654833,"score_spread":0.2257845431160192,"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."}}