{"id":"W4396914146","doi":"10.48550/arxiv.2405.07953","title":"On the Decidability of Monadic Theories of Arithmetic Predicates","year":2024,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Agence Nationale de la Recherche; Engineering and Physical Sciences Research Council; Deutsche Forschungsgemeinschaft; Keble College, University of Oxford; McGill University","keywords":"Decidability; Monadic predicate calculus; Arithmetic; Mathematics; Order (exchange); Second-order arithmetic; Discrete mathematics; Computer science; Algebra over a field; Higher-order logic; Programming language; Pure mathematics; Description logic; Economics; Peano axioms","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006913994,0.0009493749,0.00115665,0.002373693,0.002645779,0.006259928,0.003175136,0.001449688,0.005138507],"category_scores_gemma":[0.01544965,0.001059234,0.003594072,0.00220054,0.006324866,0.01080011,0.003372896,0.005906585,0.0005159218],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.007251125,"about_ca_system_score_gemma":0.003657974,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006573942,"about_ca_topic_score_gemma":0.007339365,"domain_scores_codex":[0.9944442,0.001446018,0.0003042845,0.001160449,0.001320071,0.00132504],"domain_scores_gemma":[0.9627187,0.03302094,0.001322069,0.001215234,0.001079977,0.0006431128],"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.000117615,0.0000846942,0.001246209,0.0001694667,0.00004345305,0.0001565058,0.0006851365,0.006323874,0.001631875,0.9808075,0.001288005,0.00744567],"study_design_scores_gemma":[0.00006213667,0.00005271158,0.0006822225,0.00005498362,0.0000686019,0.0001458608,0.0002514257,0.05661118,0.004231829,0.9339429,0.00385064,0.00004561164],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.396076,0.004002263,0.5009084,0.009385902,0.0004309294,0.0001969795,0.001809547,0.002210492,0.08497947],"genre_scores_gemma":[0.9530271,0.0007181558,0.03544,0.0009262896,0.0004888976,0.0002065994,0.00103576,0.0001886529,0.007968569],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007251125,"threshold_uncertainty_score":0.05261087,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04283228105028316,"score_gpt":0.1803717045839098,"score_spread":0.1375394235336266,"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."}}