{"id":"W1966303569","doi":"10.1090/s0002-9939-09-10115-6","title":"On the role of the collection principle for Σ⁰₂-formulas in second-order reverse mathematics","year":2009,"lang":"lv","type":"article","venue":"Proceedings of the American Mathematical Society","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":48,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Banff International Research Station for Mathematical Innovation and Discovery; John Templeton Foundation; National Science Foundation","keywords":"Mathematics; Order (exchange); Reverse mathematics; Calculus (dental); Applied mathematics; Geometry; Axiom","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006621083,0.001181694,0.001295742,0.002085278,0.00442251,0.006423001,0.00260627,0.002240626,0.01391217],"category_scores_gemma":[0.01104659,0.001229743,0.003762288,0.002027748,0.01141118,0.02289496,0.007426836,0.007056305,0.004628582],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003545703,"about_ca_system_score_gemma":0.002130999,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006077805,"about_ca_topic_score_gemma":0.004992513,"domain_scores_codex":[0.9951866,0.00186827,0.0003361554,0.000846479,0.001155257,0.0006071545],"domain_scores_gemma":[0.9922262,0.003959659,0.000323759,0.001816428,0.001316027,0.000357917],"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.000009098306,0.00000629333,0.0000555166,0.00002360567,0.000005195393,0.00003713481,0.0001982223,0.0001689995,0.000120307,0.9951307,0.001522153,0.002722813],"study_design_scores_gemma":[0.00001316371,0.0000109235,0.0000930932,0.00002767246,0.0000118381,0.00007813789,0.0000830659,0.001153237,0.0005663662,0.9792047,0.01874218,0.00001563335],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02170701,0.002159384,0.6714985,0.008315636,0.001327052,0.0001021049,0.0005185279,0.001525014,0.2928468],"genre_scores_gemma":[0.6329294,0.003383039,0.2652194,0.007040469,0.002116538,0.0004367607,0.001369138,0.003218737,0.08428656],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01391217,"threshold_uncertainty_score":0.04654086,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01363867840563703,"score_gpt":0.2547967305169723,"score_spread":0.2411580521113353,"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."}}