{"id":"W2149062436","doi":"10.2178/jsl/1190150032","title":"A new “feasible” arithmetic","year":2002,"lang":"en","type":"article","venue":"Journal of Symbolic Logic","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":20,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Mathematics; Realizability; Second-order arithmetic; Recursion (computer science); Peano axioms; Arithmetic; Discrete mathematics; Algebra over a field; Algorithm; Pure 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004715014,0.0001450196,0.0003334854,0.0002136463,0.00007678684,0.000220693,0.001031357,0.0000867633,0.0001592214],"category_scores_gemma":[0.00008513352,0.00009931935,0.0001909155,0.0004634596,0.00002816978,0.0004172992,0.00009633088,0.0002596491,0.0003099302],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005239212,"about_ca_system_score_gemma":0.00007079533,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002704609,"about_ca_topic_score_gemma":0.000002229067,"domain_scores_codex":[0.9984853,0.00008687747,0.0004905418,0.0001750232,0.0004444765,0.0003177406],"domain_scores_gemma":[0.9987801,0.00006038681,0.0004097581,0.0003367418,0.0001477995,0.0002651558],"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.000006704381,0.0002757065,0.002195498,0.00003736718,0.0001083666,0.0005918362,0.002557165,0.00005512257,0.0003873528,0.7125992,0.03649467,0.244691],"study_design_scores_gemma":[0.003606588,0.002404392,0.007785151,0.000060258,0.0001034296,0.01052031,0.0002360584,0.007423704,0.0007336706,0.6811344,0.2850529,0.00093908],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002738099,0.006114887,0.9485532,0.003512241,0.002146081,0.0001656468,1.293017e-7,0.0001109639,0.03665874],"genre_scores_gemma":[0.9758767,0.0001451302,0.01995119,0.0004849042,0.0007369984,0.000001178373,7.355288e-8,0.000008115327,0.002795737],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9731386,"threshold_uncertainty_score":0.4050125,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04343371595259829,"score_gpt":0.2550560087855378,"score_spread":0.2116222928329395,"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."}}