{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002481409,0.0007882148,0.001717756,0.003826041,0.00401658,0.004945761,0.001417479,0.001937391,0.005595536],"category_scores_gemma":[0.004954644,0.001042373,0.001919196,0.003094376,0.006004301,0.01147866,0.005395181,0.003066824,0.0004410805],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002109627,"about_ca_system_score_gemma":0.0009235673,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001485143,"about_ca_topic_score_gemma":0.002131163,"domain_scores_codex":[0.9982851,0.0005144587,0.0001376044,0.0003700203,0.0004486299,0.0002441279],"domain_scores_gemma":[0.9961533,0.001723986,0.0004717601,0.0004400531,0.0005321485,0.0006787329],"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.0000171064,0.000008643632,0.0001563142,0.00001429502,0.000007158358,0.00003878351,0.0001818207,0.0003431427,0.0003943228,0.9981717,0.000124298,0.0005423552],"study_design_scores_gemma":[0.00001367765,0.00001920223,0.0003158648,0.00001317804,0.00001385761,0.00008978322,0.0001810353,0.003636021,0.0003176823,0.9941131,0.001273843,0.00001271163],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5569816,0.002472274,0.3609369,0.002794187,0.0002809989,0.00008030068,0.0006295025,0.0004473538,0.07537702],"genre_scores_gemma":[0.9530107,0.0006051055,0.03309757,0.00029099,0.0003180849,0.0001255964,0.0004187444,0.0001097277,0.01202348],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.005595536,"threshold_uncertainty_score":0.01871896,"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."}}