{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","sts","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.001399938,0.0002862344,0.0008095914,0.0007072265,0.00124191,0.00002313505,0.003186703,0.0006665507,0.003745206],"category_scores_gemma":[0.0001144696,0.0003066381,0.000468322,0.001633016,0.007544973,0.0002512552,0.001190688,0.001040992,0.00007840495],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003505668,"about_ca_system_score_gemma":0.001111531,"about_ca_topic_candidate":true,"about_ca_topic_consensus":true,"about_ca_topic_score_codex":0.3772347,"about_ca_topic_score_gemma":0.3017656,"domain_scores_codex":[0.9963846,0.0007889362,0.0001771429,0.0005163339,0.001536992,0.0005960501],"domain_scores_gemma":[0.9970801,0.0005555695,0.0005393458,0.0008092851,0.0008045629,0.0002110838],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.001076604,0.0007501097,0.002779735,0.001158444,0.001321511,0.0001204482,0.0923159,0.00006522954,0.0001658793,0.01816558,0.8796729,0.002407584],"study_design_scores_gemma":[0.0006497471,0.000220268,0.0005033759,0.000642215,0.0003746527,0.000001061093,0.1561623,0.00004670456,0.000005062561,0.0001871378,0.8409773,0.0002301186],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.022938,0.004845384,0.0002815046,0.017374,0.0004738505,0.001419796,0.001508549,0.0001711039,0.9509878],"genre_scores_gemma":[0.1325875,0.006909402,0.0007740358,0.00001799642,0.0001561177,2.011818e-8,0.00004423788,0.0000629803,0.8594477],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.1096495,"threshold_uncertainty_score":0.9999385,"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."}}