{"id":"W4221147696","doi":"10.1142/s0219061324500119","title":"Enriching a predicate and tame expansions of the integers","year":2023,"lang":"en","type":"article","venue":"Journal of Mathematical Logic","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo; Fields Institute for Research in Mathematical Sciences","funders":"Agence Nationale de la Recherche","keywords":"Mathematics; Unary operation; Countable set; NIP; Combinatorics; Predicate (mathematical logic); Omega; Closure (psychology); Discrete mathematics; Simple (philosophy); Physics","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.001151241,0.00009075802,0.0003343399,0.00008631667,0.00007834076,0.000005761372,0.0002367022,0.00008233329,0.00009164928],"category_scores_gemma":[0.003615561,0.00004655564,0.0001332609,0.0001913176,0.0002890838,0.00006943537,0.0001211719,0.0003424198,0.00001133177],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001169118,"about_ca_system_score_gemma":0.00002803189,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":1.083202e-7,"about_ca_topic_score_gemma":2.293895e-7,"domain_scores_codex":[0.9988981,0.0001424341,0.0005202035,0.00006901749,0.0002195811,0.0001506069],"domain_scores_gemma":[0.9972767,0.002020727,0.0004028391,0.0001807258,0.0000531342,0.00006588837],"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.00003048217,0.000109546,0.00008937953,0.0001804598,0.00005966148,0.00002470376,0.001829392,0.00002563546,0.001795778,0.9945498,0.0008149021,0.0004903365],"study_design_scores_gemma":[0.0002282287,0.00007760173,0.0002380906,0.000187344,0.00006123361,0.00022632,0.0009558249,0.0004136405,0.0004934073,0.9970142,0.0000564362,0.00004767047],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9431763,0.000141026,0.04917238,0.003740421,0.0002088039,0.0001751973,0.0000040167,0.00004001287,0.003341865],"genre_scores_gemma":[0.984263,0.00005263581,0.01511211,0.0001104493,0.00004661327,0.000002358283,1.122917e-7,0.00001169082,0.0004010005],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.04108675,"threshold_uncertainty_score":0.4328426,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05733799660791276,"score_gpt":0.3418844428577605,"score_spread":0.2845464462498477,"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."}}