{"id":"W2068975525","doi":"10.1007/s00222-013-0472-1","title":"Uniform existential interpretation of arithmetic in rings of functions of positive characteristic","year":2013,"lang":"en","type":"article","venue":"Inventiones mathematicae","topic":"Algebraic Geometry and Number Theory","field":"Mathematics","cited_by":7,"is_retracted":false,"has_abstract":false,"ca_institutions":"Queen's University","funders":"","keywords":"Mathematics; Integer (computer science); Predicate (mathematical logic); Discrete mathematics; Finitely-generated abelian group; Pure mathematics; Arithmetic; Combinatorics","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.002921232,0.0009538825,0.00103534,0.00239142,0.002998078,0.006048462,0.001579984,0.001186791,0.005687304],"category_scores_gemma":[0.004392894,0.0007034185,0.00128506,0.001800144,0.01280831,0.01277354,0.004397669,0.004458142,0.000515544],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002250306,"about_ca_system_score_gemma":0.0006992029,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009412101,"about_ca_topic_score_gemma":0.0006962811,"domain_scores_codex":[0.9980401,0.0007121846,0.0001675975,0.0004626846,0.0003085876,0.0003087321],"domain_scores_gemma":[0.9980868,0.0008279145,0.000183339,0.0003512297,0.0003934742,0.0001572452],"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.00001367316,0.000004224688,0.00008749949,0.00001554813,0.000002827544,0.00002576735,0.000244052,0.00008880522,0.000139381,0.9984784,0.0001669703,0.0007330065],"study_design_scores_gemma":[0.00001566078,0.00001476846,0.000257961,0.00001519101,0.00001988597,0.0001021762,0.0001778645,0.0007415943,0.0003363342,0.9947276,0.003581001,0.000009980755],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2966043,0.00539403,0.4024833,0.007882206,0.0009635424,0.00007409248,0.0006924124,0.0007226844,0.2851833],"genre_scores_gemma":[0.9692999,0.0009244069,0.01965343,0.0005211587,0.0005997528,0.00004221541,0.0001634126,0.0001160184,0.008679698],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006048462,"threshold_uncertainty_score":0.01902592,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02135999386812888,"score_gpt":0.2711676278258603,"score_spread":0.2498076339577314,"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."}}