{"id":"W4402042157","doi":"10.1016/j.jfa.2024.110652","title":"Locally universal C⁎-algebras with computable presentations","year":2024,"lang":"en","type":"article","venue":"Journal of Functional Analysis","topic":"Advanced Operator Algebra Research","field":"Mathematics","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"Natural Sciences and Engineering Research Council of Canada; National Sleep Foundation; National Science Foundation","keywords":"Mathematics; Pure mathematics; Algebra over a field","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":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0003766023,0.0001151482,0.0002999559,0.0008245737,0.0001104727,0.0001244476,0.0001495184,0.00003953447,0.001153353],"category_scores_gemma":[0.0001081042,0.00007878703,0.000298718,0.00223515,0.00007576031,0.0004941287,0.00003373187,0.0003433123,0.00003325997],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001310579,"about_ca_system_score_gemma":0.0003475311,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000009612148,"about_ca_topic_score_gemma":0.00003428453,"domain_scores_codex":[0.9983659,0.00007239302,0.0003660606,0.0001546953,0.0008695333,0.0001714363],"domain_scores_gemma":[0.9983063,0.0006140797,0.0001230835,0.0001355951,0.0006840146,0.0001368926],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0008272774,0.0006634473,0.01784132,0.0002210742,0.02960109,0.001331206,0.0005863607,0.5633242,0.001526457,0.3308321,0.05019325,0.003052283],"study_design_scores_gemma":[0.00486625,0.002645362,0.03109091,0.0004815558,0.02660216,0.002284221,0.004965757,0.4826597,0.002336457,0.3998103,0.04067938,0.001577957],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1202573,0.0003910122,0.8766488,0.001077969,0.0001439563,0.00006787555,0.00001064318,0.00003835789,0.001364071],"genre_scores_gemma":[0.9738101,0.00002487125,0.02138461,0.00004331216,0.0003273109,0.000002348104,0.00001012375,0.00002344796,0.004373828],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8552642,"threshold_uncertainty_score":0.9997597,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03662886089618395,"score_gpt":0.3281487277332765,"score_spread":0.2915198668370926,"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."}}