{"id":"W2032706742","doi":"10.1142/s0219061308000695","title":"GANZSTELLENSÄTZE IN THEORIES OF VALUED FIELDS","year":2008,"lang":"en","type":"article","venue":"Journal of Mathematical Logic","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"Natural Sciences and Engineering Research Council of Canada; Israel Science Foundation","keywords":"Mathematics; Algebraically closed field; Pure mathematics; Valuation ring; Valuation (finance); Algebraic number; Class (philosophy); Model theory; Algebra over a field; Field (mathematics); Ordered field; Point (geometry); Differential (mechanical device); Discrete mathematics; Mathematical analysis; Computer science; Artificial intelligence","routes":{"ca_aff":true,"ca_fund":true,"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.003235142,0.0005773596,0.0007596116,0.001535501,0.001941611,0.003794436,0.0009430228,0.001418863,0.004313203],"category_scores_gemma":[0.004712589,0.0004455334,0.001199303,0.001319218,0.009394742,0.009903243,0.004074224,0.003445131,0.0004121822],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002603118,"about_ca_system_score_gemma":0.001335541,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001512728,"about_ca_topic_score_gemma":0.001082381,"domain_scores_codex":[0.9982854,0.0006816562,0.0001040071,0.0002414166,0.0004065779,0.0002810675],"domain_scores_gemma":[0.9973211,0.001717116,0.0002367166,0.0002720813,0.0002386974,0.0002143097],"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.000004536486,0.000009151333,0.0001067129,0.00001171515,0.000003071719,0.00004317435,0.0001679796,0.0005464384,0.0001385954,0.9982623,0.0001081733,0.0005980404],"study_design_scores_gemma":[0.00001450227,0.0000102476,0.00007709926,0.000008729766,0.000002381229,0.00004074,0.0001153563,0.002766016,0.0001670968,0.9957834,0.001009718,0.000004765399],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.736102,0.002603077,0.1765422,0.006273769,0.0002978165,0.0001234683,0.0003510992,0.0002310759,0.07747546],"genre_scores_gemma":[0.9726176,0.0008045734,0.01800204,0.0003105853,0.0002341692,0.0001025855,0.0002138493,0.00003207578,0.007682567],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.004313203,"threshold_uncertainty_score":0.01888698,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06899874187594827,"score_gpt":0.3360748217710604,"score_spread":0.2670760798951121,"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."}}