{"id":"W2086174205","doi":"10.1016/s1631-073x(03)00115-8","title":"La définissabilité des entiers dans les corps de courbes réelles archimédiens","year":2003,"lang":"fr","type":"article","venue":"Comptes Rendus Mathématique","topic":"Algebraic Geometry and Number Theory","field":"Mathematics","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université du Québec à Montréal","funders":"","keywords":"Mathematics; Humanities; Function field; Combinatorics; Field (mathematics); Art; Pure 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","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.002757527,0.0007264339,0.0008793384,0.0002133035,0.0006334124,0.0001853321,0.0006567222,0.0007086177,0.004794822],"category_scores_gemma":[0.00260042,0.0007519657,0.0004228051,0.0004918135,0.002281302,0.0002251615,0.0001852627,0.001143634,0.0006160291],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003705971,"about_ca_system_score_gemma":0.0003471038,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001338403,"about_ca_topic_score_gemma":0.00008318479,"domain_scores_codex":[0.9940228,0.002789371,0.0009616995,0.0006350208,0.0003981462,0.001192921],"domain_scores_gemma":[0.9932564,0.004718129,0.0004143085,0.0009752313,0.0001551249,0.0004807354],"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.00004445752,0.001284634,0.03181979,0.002283915,0.0003812574,0.0001958397,0.02888744,0.0001243304,0.001175167,0.9124057,0.01385592,0.007541519],"study_design_scores_gemma":[0.0008451251,0.000214783,0.004400138,0.001294154,0.000335766,0.001655862,0.01835471,0.0006175152,0.01435395,0.8855353,0.07138683,0.00100589],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8388566,0.0110498,0.04672439,0.0003782896,0.0006851812,0.0004453505,0.00008720464,0.0002564641,0.1015167],"genre_scores_gemma":[0.9230363,0.002225466,0.05462286,0.0001088202,0.000157196,0.00008170892,0.00002229064,0.0001649296,0.01958047],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.08417962,"threshold_uncertainty_score":0.9994931,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02991831501849785,"score_gpt":0.2798341235907317,"score_spread":0.2499158085722338,"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."}}