{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001276487,0.0004415883,0.0005034001,0.001269628,0.001270324,0.001666702,0.0007041724,0.0005306117,0.003015639],"category_scores_gemma":[0.003189897,0.0004750777,0.001011668,0.0007515191,0.004095234,0.005909103,0.003699942,0.001661646,0.0003403565],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001447409,"about_ca_system_score_gemma":0.0004911349,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007135509,"about_ca_topic_score_gemma":0.0008539953,"domain_scores_codex":[0.9987378,0.0002831383,0.00008107113,0.00032439,0.0003390393,0.0002346182],"domain_scores_gemma":[0.9973579,0.001295141,0.0003000707,0.000558177,0.0002890964,0.0001994574],"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.0001094258,0.00003156401,0.0009004699,0.00006670385,0.00001612081,0.0003496824,0.001420569,0.001715241,0.007732206,0.9779572,0.0003037023,0.009397126],"study_design_scores_gemma":[0.00006039067,0.0002404972,0.001822569,0.00005000998,0.0001058479,0.0006081045,0.0008705916,0.02186755,0.02793553,0.9280632,0.01831989,0.00005578341],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6730832,0.0003841703,0.2758846,0.001106244,0.00007630646,0.000084581,0.0002761447,0.0009374683,0.0481672],"genre_scores_gemma":[0.9626109,0.0001480288,0.02988544,0.000145022,0.00006264216,0.00005473159,0.0001447174,0.00007994743,0.006868586],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.003015639,"threshold_uncertainty_score":0.01050174,"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."}}