{"id":"W2003556994","doi":"10.2178/jsl/1129642120","title":"Elimination of imaginaries in expansions of o-minimal structures by generic sets","year":2005,"lang":"en","type":"article","venue":"Journal of Symbolic Logic","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Predicate (mathematical logic); Mathematics; Pure mathematics; Combinatorics; Algebra over a field; Computer science; Programming language","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.0003281166,0.00009294934,0.0003651314,0.0001732026,0.00002541017,0.000002458842,0.0001537994,0.00008718009,0.00009806264],"category_scores_gemma":[0.00035768,0.00006971783,0.00007674971,0.0001189891,0.0001888457,0.0001564528,0.00002568568,0.0001874138,8.010133e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003160526,"about_ca_system_score_gemma":0.00004699286,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001988344,"about_ca_topic_score_gemma":0.00000445616,"domain_scores_codex":[0.9989553,0.00009371091,0.0005972027,0.00006606905,0.0001606039,0.0001271053],"domain_scores_gemma":[0.9988403,0.0002673203,0.0006138466,0.0001092142,0.000135432,0.00003386966],"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.000565372,0.001129101,0.004292025,0.000264349,0.0001584366,0.00005666204,0.0121464,0.001370782,0.2194779,0.7322274,0.004278325,0.02403325],"study_design_scores_gemma":[0.0008657939,0.0002936292,0.01080905,0.00005600299,0.00005357967,0.000189931,0.001549466,0.00008786348,0.04290071,0.9428791,0.0002083864,0.0001065363],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9952667,0.001121513,0.002161683,0.000719038,0.00007845701,0.00005518479,0.000008394237,0.000004416827,0.0005845625],"genre_scores_gemma":[0.9806139,0.0001440219,0.01904878,0.00007539151,0.00005640812,9.082315e-7,0.000001200722,0.000007526202,0.00005182514],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.2106517,"threshold_uncertainty_score":0.284301,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03233039780953084,"score_gpt":0.3377230769247467,"score_spread":0.3053926791152158,"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."}}