{"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":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.001878286,0.000234309,0.000459302,0.00008568261,0.0003963549,0.00002677649,0.000597539,0.00008598671,0.002460783],"category_scores_gemma":[0.00008764267,0.0001166824,0.0002313107,0.0003313485,0.0007308567,0.00009111866,0.00002594866,0.0005400096,0.000585902],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003276315,"about_ca_system_score_gemma":0.00001981251,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000009993248,"about_ca_topic_score_gemma":0.000003718729,"domain_scores_codex":[0.9978719,0.0004587566,0.0005884974,0.0001941687,0.0004635364,0.0004231184],"domain_scores_gemma":[0.9979249,0.001257394,0.0002244346,0.000346526,0.0001024171,0.00014432],"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.01108532,0.003044108,0.0003812669,0.0001188172,0.004064103,0.0008541956,0.05541395,0.0007840812,0.001808841,0.7190792,0.06012084,0.1432453],"study_design_scores_gemma":[0.006667166,0.005998516,0.01496296,0.0008151287,0.001590342,0.002445284,0.00570128,0.00006659923,0.004198965,0.7866504,0.1696418,0.001261584],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.3842051,0.0139489,0.00009557007,0.009876201,0.001272284,0.0002068749,0.000004799598,0.00002724535,0.5903631],"genre_scores_gemma":[0.9876072,0.006258216,0.00007478389,0.001058448,0.0005423019,0.000002349339,1.931733e-7,0.00001633665,0.004440187],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6034021,"threshold_uncertainty_score":0.9984511,"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."}}