{"id":"W195377547","doi":"10.1017/jsl.2015.42","title":"SEPARABLY CLOSED FIELDS AND CONTRACTIVE ORE MODULES","year":2015,"lang":"en","type":"preprint","venue":"Journal of Symbolic Logic","topic":"Rings, Modules, and Algebras","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université du Québec à Montréal","funders":"Fonds De La Recherche Scientifique - FNRS","keywords":"Quantifier elimination; Valuation (finance); Mathematics; Pure mathematics; Group (periodic table); Field (mathematics); Algebra over a field; Discrete mathematics; Chemistry; Business; Accounting","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001038661,0.0003727513,0.001151058,0.0002139771,0.00006716618,0.0001309159,0.000435311,0.0005565304,0.00004296649],"category_scores_gemma":[0.0008668092,0.0002741003,0.000285737,0.00006193449,0.000123617,0.0001632532,0.0002888111,0.001449796,0.00001216863],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000120673,"about_ca_system_score_gemma":0.0002684212,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002133828,"about_ca_topic_score_gemma":0.00001242945,"domain_scores_codex":[0.9978774,0.0001494979,0.0008805779,0.0002869768,0.0004966704,0.0003089278],"domain_scores_gemma":[0.9970047,0.0003754654,0.00141118,0.000373266,0.000580285,0.0002551275],"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.00230448,0.004552922,0.00768006,0.006694261,0.008648466,0.00452746,0.04799236,0.002442186,0.003392904,0.5516766,0.3107235,0.0493648],"study_design_scores_gemma":[0.001021522,0.0002233061,0.002704505,0.000470557,0.0002821571,0.0004719963,0.0005142519,0.0002032986,0.0003352058,0.9924838,0.0009506444,0.0003387741],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.986753,0.003023889,0.001674276,0.001136613,0.0009744257,0.0002927649,0.00002124512,0.00003744005,0.006086386],"genre_scores_gemma":[0.991106,0.000951346,0.005840431,0.0002656831,0.001307342,0.000006308077,0.000003844109,0.00003974206,0.0004793541],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.4408072,"threshold_uncertainty_score":0.9999711,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06938221709197587,"score_gpt":0.3261828666549754,"score_spread":0.2568006495629995,"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."}}