{"id":"W4311486556","doi":"10.1090/proc/16355","title":"Definable Kőnig theorems","year":2022,"lang":"fi","type":"article","venue":"Proceedings of the American Mathematical Society","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"Achievement Rewards for College Scientists Foundation","keywords":"Mathematics; 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.002524871,0.001861911,0.00131818,0.003002675,0.002730962,0.005851844,0.001853326,0.001619482,0.02252763],"category_scores_gemma":[0.004355473,0.0008738813,0.002815925,0.001937639,0.002804587,0.009670755,0.005743759,0.00482108,0.007080372],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00390121,"about_ca_system_score_gemma":0.001304045,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002215808,"about_ca_topic_score_gemma":0.003009709,"domain_scores_codex":[0.9969214,0.0006700405,0.0003167617,0.0008643372,0.0007686112,0.000458974],"domain_scores_gemma":[0.997528,0.001099058,0.0001467831,0.0003569311,0.000720365,0.0001489109],"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.0000191473,0.00002271469,0.0001565732,0.00009005777,0.00002298862,0.0001059936,0.000238006,0.0003989369,0.0004668646,0.9841769,0.005374437,0.008927401],"study_design_scores_gemma":[0.00002101823,0.00001942466,0.0001942926,0.00004231398,0.00002770766,0.0001329652,0.0001666908,0.004035152,0.001233089,0.9568416,0.03727029,0.0000155592],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.05325497,0.004061422,0.4488826,0.005646825,0.001280439,0.0002223667,0.004938265,0.004948528,0.4767646],"genre_scores_gemma":[0.6285852,0.003979085,0.1807634,0.004149479,0.0009568389,0.0007579801,0.01034897,0.002115384,0.1683438],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02252763,"threshold_uncertainty_score":0.07536244,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0159320630372955,"score_gpt":0.2709645537961912,"score_spread":0.2550324907588957,"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."}}