{"id":"W3087696930","doi":"10.1016/j.apal.2024.103452","title":"Can you take Komjath's inaccessible away?","year":2024,"lang":"en","type":"article","venue":"Annals of Pure and Applied Logic","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"Natural Sciences and Engineering Research Council of Canada; Centre National de la Recherche Scientifique","keywords":"Mathematics; Lemma (botany); Combinatorics; Regular cardinal; Tree (set theory); Consistency (knowledge bases); Order (exchange); Function (biology); Discrete mathematics","routes":{"ca_aff":true,"ca_fund":true,"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.001387283,0.0003020182,0.0005607869,0.001009948,0.003969744,0.003283041,0.0007894566,0.001194034,0.007765146],"category_scores_gemma":[0.004432856,0.0001554713,0.0005209158,0.00105227,0.005425422,0.01125502,0.001878239,0.002845435,0.001513783],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00171481,"about_ca_system_score_gemma":0.0007468072,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001677674,"about_ca_topic_score_gemma":0.00225358,"domain_scores_codex":[0.9991947,0.0001975198,0.00002972399,0.0001889338,0.0002240106,0.0001650929],"domain_scores_gemma":[0.9986516,0.0005606619,0.0001372423,0.000241144,0.0002391454,0.000170192],"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.00003980823,0.000006749079,0.0003580378,0.00002604461,0.000004409319,0.00004307425,0.0005344771,0.00007569644,0.0002052018,0.9866965,0.002977518,0.009032512],"study_design_scores_gemma":[0.00001112588,0.00004031757,0.0009887267,0.00006584427,0.00001696331,0.0001919544,0.001201031,0.0006180317,0.0009033976,0.880338,0.1156021,0.00002253008],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.1738207,0.01203521,0.1820977,0.07921255,0.004139196,0.00006559315,0.0005659222,0.0008368808,0.5472263],"genre_scores_gemma":[0.9114521,0.002866679,0.02226575,0.00689916,0.0008314633,0.0000640473,0.000176862,0.0003405085,0.05510342],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007765146,"threshold_uncertainty_score":0.02597702,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.09364430099789671,"score_gpt":0.3691400032492957,"score_spread":0.275495702251399,"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."}}