{"id":"W1566243009","doi":"10.4467/20842589rm.13.002.1254","title":"Kronecker in Contemporary Mathematics, General Arithmetic as a Foundational Programme","year":2013,"lang":"en","type":"article","venue":"Reports on Mathematical Logic","topic":"History and Theory of Mathematics","field":"Mathematics","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Montréal","funders":"","keywords":"Kronecker delta; Mathematics; Arithmetic function; Algebra over a field; Topos theory; Interpretation (philosophy); Realization (probability); Consistency (knowledge bases); Arithmetic; Pure mathematics; Discrete mathematics; Linguistics; Philosophy","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.001116148,0.0002503256,0.0002082257,0.0008892535,0.001397842,0.003498666,0.0003293103,0.001001314,0.002566128],"category_scores_gemma":[0.001949959,0.0001807782,0.0002268649,0.00104515,0.009654835,0.005607473,0.0009785505,0.002031165,0.0005122452],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002017539,"about_ca_system_score_gemma":0.001347351,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001699083,"about_ca_topic_score_gemma":0.00184089,"domain_scores_codex":[0.9994513,0.0002255804,0.00002733603,0.00009156709,0.000143594,0.00006063845],"domain_scores_gemma":[0.9992774,0.0003998817,0.00007502113,0.0001065664,0.00009834697,0.00004276332],"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.000002260605,0.000001261377,0.00003489006,0.000006542932,4.35799e-7,0.000007434817,0.000182332,0.00007332829,0.0000340461,0.9977568,0.0005990309,0.001301561],"study_design_scores_gemma":[0.000002582137,0.000006608448,0.000185843,0.00002622848,0.000002207587,0.00005745592,0.0001466034,0.0003166031,0.0001320332,0.9558666,0.04325238,0.000004816587],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.1170749,0.07285696,0.121935,0.03737957,0.001780493,0.00002714159,0.0002601933,0.0002523637,0.6484334],"genre_scores_gemma":[0.9324027,0.01328969,0.01146328,0.00170322,0.0008169721,0.00003370272,0.00006217262,0.00006171573,0.04016659],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003498666,"threshold_uncertainty_score":0.01463836,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1170952612776382,"score_gpt":0.3324646972331473,"score_spread":0.2153694359555091,"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."}}