{"id":"W1532021344","doi":"10.1007/11538363_26","title":"Closure Properties of Weak Systems of Bounded Arithmetic","year":2005,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Advanced Graph Theory Research","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Bounded function; Class (philosophy); Axiom; Complexity class; Closure (psychology); Discrete mathematics; Descriptive complexity theory; Second-order arithmetic; Computer science; Arithmetic; Mathematics; Algebra over a field; Time complexity; Pure mathematics; Artificial intelligence","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.001506516,0.0007470862,0.001148101,0.001958996,0.002439199,0.003895411,0.001575497,0.0009827253,0.007296016],"category_scores_gemma":[0.00524319,0.0009111788,0.001296851,0.001555632,0.004315069,0.01060061,0.003757307,0.003788604,0.0005724961],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001419374,"about_ca_system_score_gemma":0.0006857001,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008876104,"about_ca_topic_score_gemma":0.0006537915,"domain_scores_codex":[0.9988072,0.0002569001,0.0001008539,0.0002343105,0.0004057935,0.0001949395],"domain_scores_gemma":[0.9966813,0.001978148,0.0002335199,0.0003921679,0.0004230854,0.0002918416],"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.00005283199,0.00001495922,0.0001531793,0.00004124637,0.000007138655,0.00003497351,0.00034511,0.0004703492,0.001267417,0.9939539,0.0004740292,0.003184839],"study_design_scores_gemma":[0.00002085958,0.00002085588,0.000193026,0.0000135659,0.00001093311,0.00004132367,0.0001284812,0.00289184,0.0007704814,0.9939258,0.001973787,0.000009135707],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.51728,0.001954389,0.3379719,0.001992938,0.000373592,0.0001623467,0.0008322441,0.0006557244,0.1387769],"genre_scores_gemma":[0.9493758,0.000661333,0.03017895,0.0002149417,0.0003999898,0.0002144067,0.0006899814,0.0002391581,0.01802551],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.007296016,"threshold_uncertainty_score":0.02440763,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02784050416471322,"score_gpt":0.2617839800224799,"score_spread":0.2339434758577666,"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."}}