{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003434979,0.000197726,0.0002921225,0.0001476464,0.00006081573,0.00002516304,0.001827715,0.0001396487,0.00002856919],"category_scores_gemma":[0.0001642766,0.0001435884,0.0002064134,0.0005721328,0.0004876323,0.00007469879,0.00198243,0.0004757581,0.00002007628],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006007339,"about_ca_system_score_gemma":0.0001618126,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003916979,"about_ca_topic_score_gemma":0.00000856203,"domain_scores_codex":[0.9987037,0.0001491007,0.000210841,0.0006447585,0.0001131791,0.0001784341],"domain_scores_gemma":[0.9975621,0.000754128,0.0002227586,0.001286066,0.0001164174,0.00005858039],"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.00001543756,0.00006771171,0.0005729839,0.0001390019,0.00004835462,0.00002197481,0.0002119822,0.02638118,0.00002735819,0.9721209,0.00003101003,0.0003621507],"study_design_scores_gemma":[0.00006875444,0.00007869314,0.0009351467,0.00009746022,0.00004238502,8.506836e-7,0.00005737019,0.06716549,0.001278211,0.9301354,0.00001805792,0.000122185],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7386474,0.000230251,0.2560837,0.0002725928,0.0003459033,0.0003000787,0.00002568907,0.0001058631,0.003988509],"genre_scores_gemma":[0.9991089,0.00005098282,0.0005218053,0.00003955404,0.00001621014,0.000001296858,0.000001636604,0.000007524672,0.0002520748],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.2604615,"threshold_uncertainty_score":0.5855364,"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."}}