{"id":"W1829173604","doi":"10.1016/j.topol.2015.09.035","title":"Forcing with a coherent Souslin tree and locally countable subspaces of countably tight compact spaces","year":2015,"lang":"en","type":"article","venue":"Topology and its Applications","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":9,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Mathematics; Countable set; Compactification (mathematics); Linear subspace; Forcing (mathematics); Tree (set theory); Assertion; Regular space; Pure mathematics; Discrete mathematics; Hausdorff space; Combinatorics; Mathematical analysis","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002087237,0.0001277203,0.0002860777,0.00004945908,0.0001568698,0.000008593174,0.00008528781,0.0001103664,0.00003742598],"category_scores_gemma":[0.00004375633,0.00009755882,0.00001347666,0.0000890613,0.000529071,0.0000917493,0.00002910583,0.0001209214,0.000005403333],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001617947,"about_ca_system_score_gemma":0.00006260093,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003947644,"about_ca_topic_score_gemma":0.0005168363,"domain_scores_codex":[0.9993177,0.00005087558,0.0001786509,0.0001943803,0.00007598074,0.0001824177],"domain_scores_gemma":[0.9990742,0.0004001978,0.0001422083,0.0001778254,0.0001100184,0.0000956185],"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.0001532434,0.0001077542,0.003087703,0.00007159079,0.0000542962,0.000001531675,0.001425758,0.00002242708,0.0004137071,0.9934243,0.0007100396,0.0005276315],"study_design_scores_gemma":[0.002570193,0.0007188873,0.001288508,0.00006961144,0.0002412284,0.0002230212,0.008737491,0.0009693864,0.004627462,0.9586561,0.02147063,0.0004274218],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8946628,0.003661773,0.0750429,0.002189902,0.00004325741,0.001011782,0.00004832145,0.000108159,0.02323107],"genre_scores_gemma":[0.9962696,0.0001621016,0.002372832,0.00008832509,0.00002930541,0.0000573021,0.000008475061,0.00001250499,0.0009995329],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.1016068,"threshold_uncertainty_score":0.3978333,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04237259398650903,"score_gpt":0.3162569590457987,"score_spread":0.2738843650592896,"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."}}