{"id":"W2036695067","doi":"10.1016/j.dam.2006.05.001","title":"The proof theoretic strength of the Steinitz exchange theorem","year":2006,"lang":"en","type":"article","venue":"Discrete Applied Mathematics","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Mathematics; Mathematical proof; Discrete mathematics; Compactness theorem; Analytic proof; Combinatorics; Algebra over a field; Fundamental theorem; Pure mathematics; Fixed-point theorem","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.00462083,0.0005795164,0.001382715,0.001695932,0.002296675,0.00515898,0.002209049,0.002438294,0.01749967],"category_scores_gemma":[0.02165646,0.0007263456,0.001232869,0.00156406,0.00633776,0.01908946,0.005190813,0.005332006,0.002240621],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001341225,"about_ca_system_score_gemma":0.001211946,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004402343,"about_ca_topic_score_gemma":0.0002846151,"domain_scores_codex":[0.9971007,0.0009090369,0.0001660526,0.0005647035,0.0009167338,0.0003428966],"domain_scores_gemma":[0.9837216,0.01069189,0.0006119137,0.002922089,0.001419683,0.000632835],"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.00006298392,0.00001600897,0.0001538638,0.00004227823,0.0000117744,0.0000448604,0.00007681706,0.0003795853,0.0003371346,0.9936376,0.001292389,0.003944577],"study_design_scores_gemma":[0.0000219855,0.000009346884,0.00009687901,0.00001105468,0.00001016823,0.00006801297,0.0000263794,0.001792571,0.0005077235,0.9953434,0.002105644,0.000006829547],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1262221,0.002768591,0.4889293,0.02430819,0.001325123,0.0001169692,0.0008477401,0.0009148842,0.3545671],"genre_scores_gemma":[0.9511598,0.0009921079,0.02650939,0.001910668,0.001011349,0.0001103303,0.00031198,0.0002714992,0.01772302],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01749967,"threshold_uncertainty_score":0.05854219,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008982201345938648,"score_gpt":0.2164262455704119,"score_spread":0.2074440442244732,"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."}}