{"id":"W2085356622","doi":"10.1090/s0002-9939-10-10268-8","title":"Defining the set of integers in expansions of the real field by a closed discrete set","year":2010,"lang":"en","type":"article","venue":"Proceedings of the American Mathematical Society","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":28,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Multiplicative function; Combinatorics; Field (mathematics); Mathematics; BETA (programming language); Alpha (finance); Set (abstract data type); Discrete mathematics; Mathematical analysis; Pure mathematics; Computer science","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.000931718,0.000169538,0.0005155877,0.00001502723,0.0001277078,0.000006475354,0.0008817293,0.0001046536,0.00003611226],"category_scores_gemma":[0.0021629,0.00008090418,0.0003921794,0.000419594,0.002052038,0.00006445994,0.0003549925,0.0007035497,9.9755e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001763036,"about_ca_system_score_gemma":0.00003643039,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004482609,"about_ca_topic_score_gemma":0.000006966142,"domain_scores_codex":[0.9986685,0.00003918468,0.0005616128,0.0001740139,0.0002999982,0.0002567036],"domain_scores_gemma":[0.9965545,0.002131072,0.0008365958,0.0003382379,0.00010089,0.00003872309],"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.00008005839,0.0001625398,0.005686014,0.0004719232,0.0001251021,7.460795e-8,0.02289319,0.000001917652,0.07097203,0.8945687,0.004601914,0.0004365263],"study_design_scores_gemma":[0.0002784621,0.00009022392,0.0006400412,0.0002330149,0.00009564427,0.000006051212,0.02559579,0.0004848582,0.07817948,0.8942123,0.00005008603,0.0001340279],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9928697,0.00001301906,0.0004141112,0.002567595,0.00004544336,0.0003211274,0.0000345166,0.00001893084,0.003715539],"genre_scores_gemma":[0.9893513,0.00001949118,0.01020542,0.0002496978,0.00001646761,0.00002573017,5.815737e-7,0.0000200202,0.0001112359],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.009791313,"threshold_uncertainty_score":0.7560819,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01227793989036797,"score_gpt":0.309480549614994,"score_spread":0.2972026097246261,"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."}}