{"id":"W7028576552","doi":"","title":"Frege, Dedekind, and Peano on the foundations of arithmetic","year":2013,"lang":"en","type":"other","venue":"CERN Document Server (European Organization for Nuclear Research)","topic":"Biomedical and Chemical Research","field":"Medicine","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Peano axioms; Exposition (narrative); Dedekind cut; Foundations of mathematics; Second-order arithmetic; Quarter (Canadian coin)","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"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.002063229,0.0009070435,0.0005604743,0.003305745,0.002402497,0.003584533,0.0005664628,0.001602594,0.01134701],"category_scores_gemma":[0.005538707,0.0003166904,0.0004790803,0.002761935,0.007522743,0.00772707,0.00236809,0.003927328,0.00362208],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003067427,"about_ca_system_score_gemma":0.001853505,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002273091,"about_ca_topic_score_gemma":0.002096478,"domain_scores_codex":[0.9987599,0.0004910323,0.00005916417,0.0001848141,0.0004015432,0.0001035551],"domain_scores_gemma":[0.9986155,0.0008170815,0.00008415144,0.0001528751,0.000261021,0.00006933486],"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.00001534655,0.000005162809,0.00004696205,0.00005189597,0.000003543836,0.00003279971,0.000319401,0.0001168803,0.00008083945,0.937519,0.03736873,0.02443953],"study_design_scores_gemma":[0.000006944992,0.00001276454,0.0001994116,0.0001663178,0.000004186336,0.0001278836,0.00009112916,0.0001702475,0.0002217639,0.6054127,0.393568,0.00001861508],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.00633977,0.215612,0.04816782,0.05063542,0.01516758,0.00005138525,0.0005067133,0.0003647631,0.6631545],"genre_scores_gemma":[0.3199789,0.2240025,0.05436319,0.01720228,0.03001689,0.0002431953,0.0007677491,0.0007063783,0.352719],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.01134701,"threshold_uncertainty_score":0.03795946,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03715408936402788,"score_gpt":0.2989835033814102,"score_spread":0.2618294140173824,"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."}}