{"id":"W3158893841","doi":"10.1142/s0219061322500246","title":"Compactness and guessing principles in the Radin extensions","year":2022,"lang":"en","type":"article","venue":"Journal of Mathematical Logic","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"Israel Science Foundation","keywords":"Compact space; Mathematics; Extension (predicate logic); Forcing (mathematics); Measure (data warehouse); Diagonal; Sequence (biology); Pure mathematics; Discrete mathematics; Combinatorics; Mathematical analysis; Computer science; Geometry","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":[],"consensus_categories":[],"category_scores_codex":[0.002736769,0.00009106549,0.0003240067,0.00008868423,0.0002235167,0.00001547537,0.0002573455,0.00003461195,0.0002645868],"category_scores_gemma":[0.001230925,0.0000513687,0.00007003309,0.0001202552,0.0001616908,0.00007488147,0.0001068171,0.0005576711,0.000002309806],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003401811,"about_ca_system_score_gemma":0.00002499451,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":1.536365e-7,"about_ca_topic_score_gemma":5.506587e-7,"domain_scores_codex":[0.9984995,0.0005206391,0.0004839731,0.00007464694,0.0002623565,0.0001589338],"domain_scores_gemma":[0.9967616,0.002725637,0.0002846346,0.0001535215,0.00003126313,0.00004333197],"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.00004510752,0.0003190805,0.00008495629,0.0000439979,0.00001318498,0.0002100312,0.002447501,0.0001090232,0.0001302091,0.9960807,0.0002286665,0.0002875498],"study_design_scores_gemma":[0.000347546,0.0001206883,0.0004817353,0.00004230115,0.00003012908,0.002663302,0.004689992,0.000525196,0.00001724988,0.9905983,0.0004203481,0.00006322061],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9648861,0.0005415105,0.02551336,0.003931076,0.0001232457,0.0001885364,0.000002563464,0.00001362225,0.004799948],"genre_scores_gemma":[0.9793035,0.00001284108,0.02012568,0.0003978099,0.00004376137,0.000005318643,2.317943e-7,0.00000830537,0.0001025419],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.01441738,"threshold_uncertainty_score":0.2897039,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1475141227128708,"score_gpt":0.3728136272401018,"score_spread":0.2252995045272309,"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."}}