{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001576294,0.0005602578,0.0005817525,0.001308945,0.001509083,0.00325457,0.001315659,0.0013278,0.00912218],"category_scores_gemma":[0.002959658,0.000613149,0.001157164,0.0006951632,0.005285093,0.006939059,0.003522509,0.003557225,0.00167418],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001263131,"about_ca_system_score_gemma":0.001027203,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006107899,"about_ca_topic_score_gemma":0.0007332521,"domain_scores_codex":[0.9983168,0.0004358222,0.0001139959,0.0003690273,0.0005445646,0.0002198328],"domain_scores_gemma":[0.9990067,0.0002882578,0.00009792019,0.0002412889,0.0002561584,0.00010971],"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.00002410018,0.000009703397,0.00004292829,0.00003287379,0.000003525903,0.00004825977,0.0001415853,0.001019415,0.002249703,0.9904956,0.0006756373,0.005256625],"study_design_scores_gemma":[0.00002686027,0.00006301839,0.0001160023,0.00004847189,0.00002091072,0.0001614687,0.00009827946,0.01426309,0.004948997,0.9432932,0.03692698,0.00003283246],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05957368,0.0006674972,0.8425602,0.002382982,0.0004407871,0.0001242376,0.0002377904,0.001444131,0.09256876],"genre_scores_gemma":[0.6810959,0.0005217105,0.2963666,0.0005770116,0.0003412392,0.0002006755,0.0002687622,0.0002813506,0.02034682],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00912218,"threshold_uncertainty_score":0.0305168,"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."}}