{"id":"W6982201961","doi":"","title":"Hilbert spaces without the Countable Axiom of Choice","year":2024,"lang":"en","type":"other","venue":"White Rose Research Online (University of Leeds, The University of Sheffield, University of York)","topic":"Global Maritime and Colonial Histories","field":"Social Sciences","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada; UK Research and Innovation","keywords":"Axiom; Hilbert space; Countable set; Bounded function; Variety (cybernetics); Axiom of choice; Axiom independence; Property (philosophy); Bounded operator; Rigged Hilbert space","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003507359,0.0006776333,0.0008354775,0.00120451,0.002208072,0.003896219,0.001292947,0.001484497,0.009633579],"category_scores_gemma":[0.009275993,0.0004691144,0.001129207,0.001800437,0.009222924,0.01207054,0.003972185,0.004973552,0.001741149],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001502947,"about_ca_system_score_gemma":0.001053294,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001236574,"about_ca_topic_score_gemma":0.001111075,"domain_scores_codex":[0.9975431,0.0009961127,0.000115731,0.000344905,0.0007369073,0.0002633331],"domain_scores_gemma":[0.9921048,0.00531391,0.0005389387,0.001009633,0.0006121892,0.0004205333],"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.000002804545,0.000002830061,0.00004897045,0.000008564582,0.000001958216,0.00001427773,0.00004251374,0.0001045087,0.00007748875,0.9989116,0.0002416286,0.000542846],"study_design_scores_gemma":[0.000005267035,0.000007513216,0.00008476853,0.000009023996,0.000003270576,0.00004464637,0.00004763222,0.00174956,0.0001789389,0.9946626,0.003202606,0.000004140168],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1411143,0.003834982,0.4909943,0.01082484,0.001054016,0.00006196298,0.0005799819,0.0002714924,0.3512641],"genre_scores_gemma":[0.9095539,0.00157635,0.04971248,0.0008106609,0.0006928729,0.0001014388,0.0004230623,0.0001186076,0.03701062],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009633579,"threshold_uncertainty_score":0.03222752,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03658743806520334,"score_gpt":0.2916055425569992,"score_spread":0.2550181044917958,"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."}}