{"id":"W4387501283","doi":"10.1017/jsl.2023.71","title":"UNDEFINABILITY OF MULTIPLICATION IN PRESBURGER ARITHMETIC WITH SETS OF POWERS","year":2023,"lang":"en","type":"article","venue":"Journal of Symbolic Logic","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Presburger arithmetic; Arithmetic; Multiplication (music); Mathematics; Computer science; Algebra over a field; Discrete mathematics; Pure mathematics; Combinatorics; Decidability","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.001184049,0.0002423791,0.0005857488,0.0008229116,0.0009096174,0.002631778,0.0006916361,0.0005729803,0.003137197],"category_scores_gemma":[0.004410036,0.0003029509,0.0004351684,0.0004641838,0.003631137,0.005925149,0.001877315,0.001790214,0.0002942981],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001029722,"about_ca_system_score_gemma":0.0005146349,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004540172,"about_ca_topic_score_gemma":0.0003141892,"domain_scores_codex":[0.9987118,0.0002291465,0.0001028105,0.000318809,0.0003691727,0.0002681824],"domain_scores_gemma":[0.996591,0.002260864,0.0002494179,0.0003552261,0.0002601264,0.0002833545],"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.000323086,0.00009408894,0.001864608,0.00005101672,0.00001208974,0.0003998176,0.0007621212,0.001909716,0.008598941,0.9719758,0.0005376508,0.01347097],"study_design_scores_gemma":[0.00005335259,0.0001009501,0.001119825,0.00002556904,0.00001787224,0.0003091796,0.0003788264,0.01313636,0.0131854,0.9687349,0.00291389,0.00002396607],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9324299,0.0001435032,0.04593085,0.0006689859,0.00004753219,0.0000254034,0.0001105095,0.0002015499,0.02044178],"genre_scores_gemma":[0.9943396,0.00005176237,0.003764486,0.00006902067,0.00003643174,0.00002665441,0.00008852799,0.00001347918,0.001610054],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.003137197,"threshold_uncertainty_score":0.01049501,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02421695461103939,"score_gpt":0.2769970231352988,"score_spread":0.2527800685242594,"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."}}