{"id":"W1511502843","doi":"10.1090/s0002-9939-00-04940-6","title":"Martin’s Axiom does not imply perfectly normal non-archimedean spaces are metrizable","year":2000,"lang":"en","type":"article","venue":"Proceedings of the American Mathematical Society","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Metrization theorem; Mathematics; Axiom of choice; Axiom; Zermelo–Fraenkel set theory; Pure mathematics; Axiom independence; Computer science; Mathematical analysis; Geometry; Set theory; Set (abstract data type)","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.001929687,0.0008248436,0.0008830808,0.0009334597,0.002228801,0.002738706,0.001255529,0.00112877,0.005355378],"category_scores_gemma":[0.005453088,0.0005854939,0.001834537,0.0008365322,0.004531326,0.008927136,0.003394937,0.003132144,0.0007932255],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001964521,"about_ca_system_score_gemma":0.00117499,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001695444,"about_ca_topic_score_gemma":0.002053636,"domain_scores_codex":[0.9970284,0.0006302846,0.0001812513,0.0007260508,0.0009801718,0.0004538001],"domain_scores_gemma":[0.995343,0.001630647,0.0006515363,0.0009870994,0.0009929456,0.0003948553],"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.00003787096,0.000009328008,0.0003920983,0.00003119411,0.0000140247,0.00006040375,0.0001160057,0.0006938899,0.0006318198,0.9961575,0.0004327013,0.0014231],"study_design_scores_gemma":[0.00001652807,0.00004829268,0.0003934378,0.00001160467,0.00001931423,0.0002038325,0.000168342,0.006294792,0.001764575,0.985077,0.005981346,0.00002096343],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4168594,0.0009462183,0.4822376,0.003133942,0.0004619577,0.00007014642,0.0007840752,0.0007897916,0.09471687],"genre_scores_gemma":[0.9486471,0.0002384768,0.03543599,0.0003966524,0.0001353488,0.00007412884,0.0006202406,0.0001307527,0.01432126],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005355378,"threshold_uncertainty_score":0.01791555,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01240180717454469,"score_gpt":0.2781662773281661,"score_spread":0.2657644701536214,"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."}}