{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.002162535,0.0003918376,0.0008970389,0.0005697714,0.0004275241,0.0001343673,0.0004549981,0.0002770643,0.0002850431],"category_scores_gemma":[0.001183432,0.0003080779,0.0003699679,0.0003107578,0.000251568,0.0005772074,0.00009620381,0.001194713,0.00001574892],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001719766,"about_ca_system_score_gemma":0.0001580922,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001528184,"about_ca_topic_score_gemma":0.00007628953,"domain_scores_codex":[0.9965352,0.0003814198,0.001645391,0.0002498442,0.0005800089,0.0006081523],"domain_scores_gemma":[0.9966565,0.001030642,0.001379448,0.0003330926,0.0004391714,0.0001611265],"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.0008654949,0.002001852,0.00120085,0.00085006,0.0004925597,0.001916891,0.004150717,0.0008758706,0.006647638,0.9632879,0.01125603,0.006454089],"study_design_scores_gemma":[0.002048737,0.0002818089,0.0005130864,0.0006119342,0.0001737592,0.001318893,0.0008282557,0.0002317708,0.006908454,0.985108,0.001639712,0.0003355447],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8572235,0.01577571,0.1026767,0.005006459,0.0006291986,0.0005153949,0.00001751332,0.00009517601,0.0180603],"genre_scores_gemma":[0.9278651,0.00253223,0.0657586,0.0001538599,0.000529142,0.00001037088,0.000008660801,0.00009545143,0.00304653],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.07064164,"threshold_uncertainty_score":0.9999371,"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."}}