{"id":"W4283221234","doi":"10.1002/malq.202100074","title":"κ‐Madness and definability","year":2022,"lang":"en","type":"article","venue":"Mathematical logic quarterly","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Uncountable set; Mathematics; Regular cardinal; Construct (python library); Pure mathematics; Discrete mathematics; Computer science","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.001896771,0.0003605034,0.0006044674,0.001033111,0.002438301,0.004138154,0.001227518,0.001033389,0.005427839],"category_scores_gemma":[0.004716063,0.0004303017,0.000879537,0.0007000567,0.008088939,0.007736435,0.003189797,0.002894143,0.000340159],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002864781,"about_ca_system_score_gemma":0.0009259886,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002653198,"about_ca_topic_score_gemma":0.002414908,"domain_scores_codex":[0.9982014,0.0004453297,0.0001239751,0.0004976068,0.0004298776,0.0003016961],"domain_scores_gemma":[0.9955415,0.002029498,0.0004424824,0.0009439823,0.0005325282,0.0005100775],"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.00001860877,0.000010664,0.0003786513,0.00001715794,0.0000036346,0.00004116376,0.0002900145,0.0004288835,0.0003633497,0.9971047,0.0003275521,0.0010156],"study_design_scores_gemma":[0.00001872921,0.0000180958,0.0004087124,0.00002912641,0.00000933368,0.0001296524,0.0003541043,0.004336516,0.001017579,0.9854015,0.008263724,0.00001296541],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5532327,0.001535068,0.2169746,0.00918843,0.0002697996,0.0001108296,0.0006833859,0.0007198341,0.2172853],"genre_scores_gemma":[0.9867291,0.0001224461,0.007644527,0.0002182697,0.00005736589,0.00003640731,0.0001220505,0.00002336467,0.005046394],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.005427839,"threshold_uncertainty_score":0.02078551,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03805984157657304,"score_gpt":0.3132345562557084,"score_spread":0.2751747146791353,"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."}}