{"id":"W4366809670","doi":"10.1353/rss.2000.0012","title":"Remarks on Peano Arithmetic","year":2000,"lang":"en","type":"article","venue":"Russell the Journal of Bertrand Russell Studies","topic":"Philosophy and Theoretical Science","field":"Psychology","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Peano axioms; Successor cardinal; Multiplication (music); Natural number; Primitive recursive function; Mathematics; Arithmetic; Set theory; Set (abstract data type); Number theory; Discrete mathematics; Second-order arithmetic; Algebra over a field; Computer science; Pure mathematics; Combinatorics","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"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.002582652,0.0005062765,0.0005638392,0.0009763267,0.003435948,0.00307027,0.001079862,0.002407736,0.02407932],"category_scores_gemma":[0.00604572,0.0002650309,0.0005889579,0.0009794184,0.007818008,0.009346949,0.001920892,0.007335632,0.005111488],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001673706,"about_ca_system_score_gemma":0.0006381539,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003530721,"about_ca_topic_score_gemma":0.002120421,"domain_scores_codex":[0.998763,0.0004758791,0.00004434596,0.0001888439,0.0003751668,0.0001528371],"domain_scores_gemma":[0.9977539,0.001560401,0.00007830323,0.0001573827,0.0002976348,0.0001524962],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00002666042,0.000005240009,0.00005601985,0.00004065946,0.000003982786,0.00007396002,0.000435232,0.0001345028,0.00004165893,0.9180105,0.07329711,0.007874506],"study_design_scores_gemma":[0.00000927996,0.00001051511,0.0002387894,0.00010034,0.00000327397,0.00008496736,0.0002777468,0.0001512529,0.00006668745,0.721249,0.2777951,0.00001309267],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.004781439,0.04185906,0.009465354,0.2844664,0.0120048,0.00002133495,0.0003310347,0.0002356536,0.646835],"genre_scores_gemma":[0.4349506,0.04331285,0.01721134,0.2238274,0.03420536,0.0001376607,0.0004109055,0.0006032742,0.2453405],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02407932,"threshold_uncertainty_score":0.08055335,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03044313517442892,"score_gpt":0.3175628436648844,"score_spread":0.2871197084904554,"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."}}