{"id":"W2480076450","doi":"10.1007/978-3-319-22087-1_1","title":"Introduction: The Internal Logic of Arithmetic","year":2015,"lang":"en","type":"book-chapter","venue":"Studies in universal logic","topic":"Quantum Mechanics and Applications","field":"Physics and Astronomy","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université de Montréal","funders":"","keywords":"Arithmetic; Computer science; Mathematics","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003982281,0.00103424,0.000601761,0.001491754,0.001009391,0.003133362,0.0009313697,0.001105879,0.03871205],"category_scores_gemma":[0.001045973,0.0003897604,0.0005763812,0.001759201,0.002698227,0.004413936,0.0009976646,0.003521441,0.01113188],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001724781,"about_ca_system_score_gemma":0.001026395,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001511053,"about_ca_topic_score_gemma":0.001999937,"domain_scores_codex":[0.9997479,0.00005520289,0.00001316113,0.00005613352,0.0001051276,0.00002249281],"domain_scores_gemma":[0.9996359,0.0002194346,0.00001454766,0.00002806071,0.00008044396,0.00002163033],"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.000008407923,0.00001864174,0.00005105252,0.0002011279,0.000003722762,0.00002462907,0.0002830109,0.0002637737,0.0002368291,0.8318902,0.1262351,0.04078345],"study_design_scores_gemma":[0.000003287738,0.000008289386,0.0001163562,0.0002576759,0.000003680733,0.00008457254,0.00006000981,0.0002082256,0.00009709744,0.3467023,0.65245,0.000008527516],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.001107766,0.09362701,0.02197878,0.00862661,0.008356354,0.00004115034,0.0006229361,0.0003014926,0.8653378],"genre_scores_gemma":[0.05250067,0.1026777,0.02430838,0.008111701,0.02045575,0.0001790582,0.001423545,0.0007422923,0.7896008],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.03871205,"threshold_uncertainty_score":0.1295047,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06705543254667436,"score_gpt":0.3010069430181938,"score_spread":0.2339515104715194,"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."}}