{"id":"W2060782153","doi":"10.1515/crelle.2006.066","title":"Definable sets in algebraically closed valued fields: elimination of imaginaries","year":2006,"lang":"en","type":"article","venue":"Journal für die reine und angewandte Mathematik (Crelles Journal)","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":85,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Algebraically closed field; Unary operation; Mathematics; Valuation (finance); Pure mathematics; Independence (probability theory); Field (mathematics); 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.001449976,0.0003755438,0.0006305673,0.001330475,0.001300227,0.003114333,0.0006580518,0.0004867769,0.002187424],"category_scores_gemma":[0.003041289,0.0004266815,0.0009058891,0.0007768802,0.004567948,0.005282843,0.001617561,0.002218806,0.0003076433],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008454838,"about_ca_system_score_gemma":0.0004394601,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003791262,"about_ca_topic_score_gemma":0.0004009242,"domain_scores_codex":[0.999233,0.0001675559,0.00005890011,0.0001060281,0.0002419935,0.0001925668],"domain_scores_gemma":[0.9970892,0.001674454,0.0003618669,0.0003603953,0.0002772091,0.0002369368],"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.0001438006,0.00007063294,0.002544923,0.00008577198,0.00001841072,0.0003822951,0.001642078,0.00117034,0.004871723,0.9709781,0.0005024166,0.01758959],"study_design_scores_gemma":[0.00006395862,0.0001296381,0.003199711,0.00005347236,0.0000553444,0.001929449,0.001443147,0.009735395,0.01754302,0.9538101,0.01199821,0.0000385535],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8041847,0.0009715663,0.1443822,0.0008956397,0.00007061662,0.00004466981,0.0001047884,0.0002079681,0.04913772],"genre_scores_gemma":[0.9860851,0.000256992,0.009253618,0.00006034143,0.00003619261,0.00001746181,0.0000942931,0.00001915191,0.004176795],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.003114333,"threshold_uncertainty_score":0.007668257,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02074509386524011,"score_gpt":0.3261825406068535,"score_spread":0.3054374467416134,"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."}}