{"id":"W581097292","doi":"","title":"A Foundation for Arithmetic","year":2011,"lang":"en","type":"article","venue":"Sound Ideas (University of Puget Sound)","topic":"History and Theory of Mathematics","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Arithmetic; Foundation (evidence); Mathematics; Computer science; Geography","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.0006062536,0.0001470696,0.0003024082,0.0001468039,0.0003510638,0.00001203955,0.0003276103,0.0001122523,0.001123901],"category_scores_gemma":[0.0002768534,0.0001794572,0.0002124195,0.0001331395,0.0002830226,0.0002734358,0.00005726788,0.00009585456,0.000194287],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008625536,"about_ca_system_score_gemma":0.00005136878,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003214513,"about_ca_topic_score_gemma":0.0001136005,"domain_scores_codex":[0.9991204,0.00006568247,0.0001886151,0.0002142913,0.0001894247,0.000221579],"domain_scores_gemma":[0.9987672,0.0003390011,0.0002674127,0.0003656049,0.0001733595,0.00008741434],"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.00008706559,0.0001980963,0.00007586972,0.0002459438,0.0000809347,0.000003763288,0.008557692,6.11012e-7,0.0000094863,0.9895324,0.001132253,0.00007594824],"study_design_scores_gemma":[0.0007217229,0.0001348244,0.00006784531,0.0000316983,0.0001710366,0.000008406283,0.00422624,0.000162221,0.000006280603,0.9922611,0.002016372,0.0001922352],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6471877,0.00002098773,0.3292814,0.00002713577,0.0001634245,0.0003089984,0.00001379414,0.00009342718,0.02290316],"genre_scores_gemma":[0.8775481,0.000004448335,0.1131772,0.0000224741,0.00004540246,0.00000151744,0.00001173036,0.00002705884,0.009162072],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.2303604,"threshold_uncertainty_score":0.9997892,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08603200992224129,"score_gpt":0.2649107700814057,"score_spread":0.1788787601591644,"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."}}