{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.002343821,0.0005912657,0.001091467,0.0003318354,0.0001691289,0.0001707328,0.0003502097,0.0003204703,0.006408881],"category_scores_gemma":[0.004508919,0.0004656486,0.0003167409,0.0003348637,0.0003529264,0.0003265597,0.0001224936,0.0005522483,0.0028575],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002513523,"about_ca_system_score_gemma":0.000213927,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002041696,"about_ca_topic_score_gemma":0.00000502144,"domain_scores_codex":[0.9951447,0.0002134944,0.002062501,0.0007235357,0.001057715,0.0007980324],"domain_scores_gemma":[0.9959094,0.001614009,0.0007548711,0.001146087,0.0002060278,0.0003696266],"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.00001582873,0.003166568,0.00008121225,0.0005500308,0.000069031,0.0006856685,0.001039881,0.000007777701,0.0002063881,0.9899831,0.002697912,0.0014966],"study_design_scores_gemma":[0.0004893673,0.0002452241,0.0001044485,0.0003716488,0.0000375571,0.00097389,0.0004041648,0.001539068,0.000195165,0.992811,0.002286948,0.0005415664],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7159051,0.00009114377,0.0117974,0.001235728,0.0003178057,0.003492627,0.00000509906,0.0004414729,0.2667136],"genre_scores_gemma":[0.714928,0.000004209014,0.2658364,0.0006104586,0.0001786168,0.000859307,0.00002739964,0.0001447524,0.01741077],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.254039,"threshold_uncertainty_score":0.9997795,"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."}}