{"id":"W4297986018","doi":"10.1145/1166109.1166114","title":"The strength of replacement in weak arithmetic","year":2006,"lang":"en","type":"article","venue":"ACM Transactions on Computational Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Mathematics; Class (philosophy); Bounded function; Discrete mathematics; Complexity class; Quantifier (linguistics); Axiom; Integer (computer science); Polynomial; Combinatorics; Time complexity; Computer science","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.0002811989,0.0001130143,0.0001242298,0.0001274336,0.0002119086,0.00005823896,0.0006410816,0.00004295051,0.00002250206],"category_scores_gemma":[0.00003438856,0.00008175294,0.00007792981,0.0004524866,0.00007702945,0.0001103965,0.00001661868,0.0001466144,0.00003390768],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006579572,"about_ca_system_score_gemma":0.00008218735,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007531668,"about_ca_topic_score_gemma":0.0001544169,"domain_scores_codex":[0.9988448,0.00009292032,0.0003176652,0.0002636841,0.0002898411,0.000191059],"domain_scores_gemma":[0.9985082,0.0008752069,0.00009262492,0.0003942903,0.00009993329,0.0000297862],"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.00003726434,0.0007863347,0.0005724016,0.00001238073,0.00002751497,0.000005407303,0.000185107,0.2939261,0.00003061862,0.6481654,0.0004612994,0.05579024],"study_design_scores_gemma":[0.001222634,0.000458792,0.04304326,0.00003401274,0.00001292328,0.00002607142,0.00008638153,0.2391747,0.0005563045,0.7113269,0.003786225,0.0002717683],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00754662,0.0001658444,0.9824106,0.001640873,0.0002723812,0.0001657492,0.000004776968,0.0000664785,0.007726742],"genre_scores_gemma":[0.9543398,0.00001476046,0.04492674,0.00007257437,0.00002190373,0.00002572901,0.000005108141,0.000004415966,0.0005889857],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9467931,"threshold_uncertainty_score":0.3333788,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01552730478719676,"score_gpt":0.2502499250792716,"score_spread":0.2347226202920749,"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."}}