{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005932553,0.00008927035,0.0002526135,0.0001142421,0.0002389771,0.0002035244,0.0002354638,0.0000310501,0.00002183608],"category_scores_gemma":[0.00003226557,0.00005062353,0.00007006303,0.0006090816,0.0001240031,0.0002092387,0.00005935376,0.000146327,0.000005977412],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000008937586,"about_ca_system_score_gemma":0.00001006053,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001130475,"about_ca_topic_score_gemma":0.000009507544,"domain_scores_codex":[0.9991004,0.0000426749,0.0004095868,0.0001542945,0.0001516285,0.0001413796],"domain_scores_gemma":[0.9990301,0.0004837656,0.0001503071,0.0001948199,0.00003536878,0.0001056433],"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.000004668835,0.00005918951,0.001297335,0.00001582097,0.0001040495,0.000002748502,0.0005158163,0.00006298476,0.0001453293,0.7716299,0.00001586003,0.2261464],"study_design_scores_gemma":[0.0002559325,0.00003859311,0.008862572,0.00003401127,0.0001615739,0.00009440985,0.0002010409,0.03857001,0.00004685374,0.9498279,0.001786828,0.0001202615],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3578134,0.001620914,0.6365472,0.002589987,0.000007277942,0.0001208716,7.92223e-7,0.00001187096,0.001287659],"genre_scores_gemma":[0.9834795,0.0013056,0.01487087,0.0001094185,0.00003970035,0.0000120509,2.304521e-7,0.000003590235,0.0001790351],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6256661,"threshold_uncertainty_score":0.2064368,"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."}}