{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","sts","insufficient_payload"],"consensus_categories":["sts"],"category_scores_codex":[0.002242637,0.0004838843,0.001221873,0.00004403205,0.001348403,0.0000440254,0.001831613,0.0001114519,0.001383703],"category_scores_gemma":[0.0008989086,0.0003643358,0.001236897,0.001187686,0.003602759,0.0001584614,0.002219208,0.001371173,0.00005525463],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003164778,"about_ca_system_score_gemma":0.0001156652,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001224785,"about_ca_topic_score_gemma":1.790441e-7,"domain_scores_codex":[0.9965053,0.000109398,0.0009469733,0.0005668657,0.0009831028,0.0008883825],"domain_scores_gemma":[0.9961268,0.001181136,0.001791869,0.0005132257,0.0002291011,0.000157863],"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.0001252696,0.0009365299,0.0006240024,0.001085423,0.0003722559,8.750538e-7,0.008933269,0.00001940836,0.002132406,0.9742218,0.01087015,0.0006785847],"study_design_scores_gemma":[0.0004145877,0.0003440828,0.00009976101,0.0001154932,0.0003567989,0.00008562188,0.03577581,0.001253941,0.002084874,0.9551956,0.003862507,0.0004109001],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9123772,0.0004595815,0.001916774,0.004554343,0.000336424,0.001267417,0.0001356031,0.0002034263,0.07874922],"genre_scores_gemma":[0.95222,0.0001120494,0.03328587,0.001601242,0.0001529418,0.0002072913,0.000002246415,0.0001378422,0.01228048],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.06646875,"threshold_uncertainty_score":0.9999517,"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."}}