{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001801011,0.0005435632,0.0005197092,0.001432891,0.003459805,0.004405907,0.0008886043,0.001814634,0.01984857],"category_scores_gemma":[0.004003053,0.0003186326,0.0006120483,0.0007963777,0.009205947,0.01013844,0.003057564,0.00427622,0.004819191],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002932546,"about_ca_system_score_gemma":0.001788395,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001777871,"about_ca_topic_score_gemma":0.001520793,"domain_scores_codex":[0.9987697,0.0005159317,0.00004992117,0.0002082579,0.0002873327,0.0001688855],"domain_scores_gemma":[0.9986919,0.0005951532,0.00007396337,0.0002655756,0.0002607842,0.0001127286],"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.000002624941,0.000001772574,0.00001719071,0.00001156127,8.310336e-7,0.000008225923,0.00009532973,0.0000639462,0.00002481717,0.9941544,0.002658368,0.002960978],"study_design_scores_gemma":[0.000003960391,0.000005036908,0.00004086342,0.00003408131,0.000001171203,0.00001971136,0.00005005493,0.0001837286,0.00003648822,0.9022391,0.09738199,0.00000376024],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.007600279,0.01929684,0.1054499,0.03994881,0.003220971,0.00004417074,0.000419663,0.0007136904,0.8233057],"genre_scores_gemma":[0.6863991,0.01636583,0.09161428,0.0103863,0.006247195,0.0003022687,0.0006630423,0.0006479897,0.187374],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01984857,"threshold_uncertainty_score":0.06640011,"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."}}