{"id":"W2011685121","doi":"10.1006/jmaa.1999.6623","title":"The Going Up and Going Down Theorems in MV-algebras and Abelian l-groups","year":2000,"lang":"en","type":"article","venue":"Journal of Mathematical Analysis and Applications","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of British Columbia","funders":"","keywords":"Abelian group; Mathematics; Pure mathematics; Algebra over a field; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003161845,0.001065187,0.001231904,0.003325094,0.004177306,0.003927561,0.002206799,0.002503804,0.008440525],"category_scores_gemma":[0.006545842,0.0009839099,0.003319778,0.002138593,0.007116723,0.01953769,0.005853159,0.005695201,0.0009837839],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001007451,"about_ca_system_score_gemma":0.0006896536,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001142777,"about_ca_topic_score_gemma":0.0007911499,"domain_scores_codex":[0.9985104,0.0004691634,0.0001356626,0.0003325337,0.0002576055,0.0002945442],"domain_scores_gemma":[0.9958333,0.00220228,0.0002806612,0.0007222151,0.0005837083,0.0003778198],"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.00003176212,0.00001017061,0.0001678004,0.0000257826,0.000007463841,0.00006751323,0.0002478154,0.0001258086,0.000334354,0.9953063,0.0007721386,0.002903089],"study_design_scores_gemma":[0.000009496399,0.00001338354,0.0001117721,0.000008304657,0.00001163315,0.00008955501,0.00006757672,0.0007169865,0.0003546471,0.9965616,0.002045657,0.000009415706],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2921163,0.004980194,0.5128019,0.01135207,0.001965768,0.000161749,0.0008773081,0.0008244456,0.1749202],"genre_scores_gemma":[0.9020196,0.002017378,0.05557907,0.002933871,0.001640801,0.0001961912,0.0007181218,0.0004484161,0.03444662],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008440525,"threshold_uncertainty_score":0.02823639,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.006495619755580975,"score_gpt":0.2402515276636373,"score_spread":0.2337559079080563,"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."}}