{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004524455,0.0001237117,0.0004441328,0.000298924,0.00002129099,0.000007072971,0.0001438508,0.00007327105,0.0008369458],"category_scores_gemma":[0.0005433949,0.000113853,0.0001596331,0.0003527619,0.0001781938,0.0002069502,0.00005693044,0.00009118583,0.00004386454],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002324858,"about_ca_system_score_gemma":0.00002025267,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003944962,"about_ca_topic_score_gemma":0.000005116639,"domain_scores_codex":[0.9984923,0.00008134021,0.0009422592,0.0001274457,0.0002242506,0.0001323793],"domain_scores_gemma":[0.9983241,0.000482216,0.0006616301,0.0002606181,0.000237194,0.00003423386],"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.0001744156,0.003193551,0.003231017,0.007866967,0.0004281136,0.000002979824,0.01153495,0.00001830174,0.02104206,0.9490914,0.0001826267,0.003233641],"study_design_scores_gemma":[0.0004969619,0.0001459445,0.01254583,0.001169602,0.0001264421,0.00001362352,0.001933215,0.003462576,0.01238635,0.9675907,0.000001783846,0.0001269439],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9615821,0.00001622349,0.03312653,0.00003844117,0.00008908808,0.0004217097,0.00001838095,0.0000229129,0.004684604],"genre_scores_gemma":[0.9932528,0.000002439134,0.006077056,0.000005050486,0.00001144322,0.00004558323,0.00001258087,0.00001504336,0.0005780698],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.03167063,"threshold_uncertainty_score":0.916397,"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."}}