{"id":"W2112333248","doi":"10.4153/cjm-2012-010-0","title":"PFA(<i>S</i>)[<i>S</i>]: More Mutually Consistent Topological Consequences of PFA and <i>V</i> = <i>L</i>","year":2012,"lang":"en","type":"article","venue":"Canadian Journal of Mathematics","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":13,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Mathematics; Hausdorff space; Countable set; Locally compact space; Pure mathematics; Topological space; Second-countable space; Set (abstract data type); Topology (electrical circuits); Discrete mathematics; Combinatorics","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.003711008,0.0003812917,0.0007539939,0.001433486,0.003316328,0.004984003,0.001092333,0.002116192,0.006686153],"category_scores_gemma":[0.00533942,0.000586804,0.001491818,0.001040847,0.006349246,0.008396557,0.004420002,0.003582353,0.0004939001],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001876244,"about_ca_system_score_gemma":0.001186901,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003291527,"about_ca_topic_score_gemma":0.004012572,"domain_scores_codex":[0.9970043,0.0009509276,0.0002085591,0.0007456396,0.0006785365,0.0004120364],"domain_scores_gemma":[0.9949144,0.001792818,0.0004975651,0.001125225,0.00120937,0.0004605796],"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.00001450946,0.00001621464,0.0003735892,0.00001240978,0.00000777524,0.0001136098,0.0003629381,0.0003953954,0.0008977191,0.9966642,0.0003376586,0.0008040547],"study_design_scores_gemma":[0.00002634678,0.0000353487,0.0006005098,0.00002144087,0.00001772044,0.0002987288,0.0006555816,0.008023916,0.001940483,0.9811243,0.007226316,0.00002933472],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.4344621,0.000524379,0.4117241,0.005640192,0.0003016673,0.0001349978,0.0007765525,0.0008620889,0.1455738],"genre_scores_gemma":[0.9639956,0.00008427545,0.0303343,0.0004946398,0.00009319728,0.00008793474,0.0003394861,0.0001345478,0.004435868],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.006686153,"threshold_uncertainty_score":0.02236742,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05010840117447121,"score_gpt":0.3013831084455066,"score_spread":0.2512747072710354,"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."}}