{"id":"W2779115047","doi":"10.1007/bf03651379","title":"Universal expansions and determinacy for finitely generated varieties of dp-algebras","year":2012,"lang":"en","type":"article","venue":"Acta Scientiarum Mathematicarum","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Manitoba","funders":"","keywords":"Determinacy; Mathematics; Finitely-generated abelian group; Pure mathematics; Variety (cybernetics); Algebra over a field; Mathematical analysis; Statistics","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.0004438962,0.0001648447,0.0002514724,0.0001580304,0.0002514763,0.00009387877,0.0005753438,0.00006698288,0.00002219822],"category_scores_gemma":[0.0001937376,0.0001365007,0.00007789163,0.0004163748,0.0002100501,0.001029761,0.0003633674,0.00007224647,0.000009547902],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001541925,"about_ca_system_score_gemma":0.00004963013,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001687718,"about_ca_topic_score_gemma":9.941583e-7,"domain_scores_codex":[0.9986605,0.00004107413,0.0002764891,0.0002920656,0.0002422879,0.0004875675],"domain_scores_gemma":[0.998707,0.000353141,0.0001661628,0.0004937223,0.0001074046,0.0001725616],"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.000008466523,0.0002239595,0.0003505673,0.0001389665,0.00004801701,0.000001816686,0.005019835,0.000008310695,0.04045286,0.9491618,0.0009508614,0.00363449],"study_design_scores_gemma":[0.002521881,0.0007232453,0.004355906,0.0002308387,0.0003535954,0.0002009258,0.002260471,0.1112986,0.1551188,0.7106053,0.01068316,0.00164726],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4237072,0.0002823469,0.5739905,0.0005239935,0.0003999695,0.0003083016,0.00001020318,0.0001075821,0.0006698362],"genre_scores_gemma":[0.8701926,0.000008499268,0.1293659,0.00008725734,0.00003338741,0.00001561156,0.000003016218,0.00001064538,0.0002831207],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.4464853,"threshold_uncertainty_score":0.5566337,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02469433260542927,"score_gpt":0.2566584973593244,"score_spread":0.2319641647538951,"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."}}