{"id":"W1929903282","doi":"10.1017/s1474748017000135","title":"AUTOMATIC CONTINUITY FOR ISOMETRY GROUPS","year":2017,"lang":"en","type":"article","venue":"Journal of the Institute of Mathematics of Jussieu","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":10,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Separable space; Isometry group; Isometry (Riemannian geometry); Group (periodic table); Hilbert space; Metric space; Metrization theorem; Property (philosophy); Homomorphism","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":["metaresearch"],"consensus_categories":[],"category_scores_codex":[0.001815983,0.0001763452,0.0008640243,0.0001203855,0.000281951,0.00002192829,0.001509453,0.0001437884,0.00002199543],"category_scores_gemma":[0.009114027,0.0001082609,0.0005252737,0.0000623346,0.0007776759,0.0004103231,0.0001956907,0.0002599694,0.000001404648],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003491925,"about_ca_system_score_gemma":0.000132114,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001519998,"about_ca_topic_score_gemma":0.000008429897,"domain_scores_codex":[0.9980732,0.00004630971,0.001228198,0.0000900181,0.0003759855,0.0001863353],"domain_scores_gemma":[0.9916906,0.0008360873,0.006070085,0.000968046,0.0003735346,0.00006164944],"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.0001025648,0.0009843961,0.0005410815,0.002873474,0.0005037574,0.000008642958,0.001750727,0.00004707271,0.004305873,0.9842439,0.001236769,0.003401728],"study_design_scores_gemma":[0.001388192,0.0001653933,0.0005836941,0.001000253,0.0003479546,0.0001264679,0.0004952173,0.0004391368,0.01761469,0.9773226,0.0003908648,0.0001255665],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.958836,0.0001218435,0.03657924,0.0005791941,0.001454097,0.000363866,0.00002327197,0.00001084065,0.002031603],"genre_scores_gemma":[0.8238495,0.00001704514,0.1756781,0.00002265426,0.0001223526,0.000003039472,2.002845e-7,0.00001917339,0.0002879227],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.1390989,"threshold_uncertainty_score":0.9992326,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0495378423245996,"score_gpt":0.3534943912708128,"score_spread":0.3039565489462132,"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."}}