{"id":"W3014239444","doi":"10.1093/logcom/exaa059","title":"Operator algebras with hyperarithmetic theory","year":2020,"lang":"en","type":"preprint","venue":"Journal of Logic and Computation","topic":"Advanced Operator Algebra Research","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"Natural Sciences and Engineering Research Council of Canada; National Science Foundation","keywords":"Finitely-generated abelian group; Embedding; Mathematics; Operator (biology); Omega; Combinatorics; Word (group theory); Operator algebra; Lambda; Group (periodic table); Algebra over a field; Pure mathematics; Discrete mathematics; Physics; Quantum mechanics; Computer science; Geometry","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.0007903474,0.0004076481,0.0003640955,0.000934439,0.001380992,0.002598779,0.0006735223,0.0005924095,0.007809476],"category_scores_gemma":[0.001866485,0.0002040007,0.000639501,0.0006819642,0.003613769,0.005640069,0.00220793,0.001551384,0.0006443286],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001422667,"about_ca_system_score_gemma":0.0006842274,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008625544,"about_ca_topic_score_gemma":0.000745594,"domain_scores_codex":[0.9988621,0.0002215151,0.00006694068,0.0001880623,0.0004955127,0.0001658948],"domain_scores_gemma":[0.998682,0.0004568783,0.0001695861,0.0001534952,0.0003051053,0.0002329453],"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.00001566067,0.00001059122,0.0001575259,0.00001751284,0.000003050797,0.00004555914,0.0001483968,0.0002882245,0.0007100096,0.9970288,0.0002023919,0.001372406],"study_design_scores_gemma":[0.00001273706,0.00001688594,0.0001845226,0.00001385933,0.000006372302,0.000127756,0.0001649517,0.003201936,0.001336279,0.9900042,0.00491763,0.00001286748],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"other","genre_scores_codex":[0.5570283,0.00260536,0.2016805,0.002853585,0.0004422426,0.00008754095,0.0002681576,0.0003567029,0.2346776],"genre_scores_gemma":[0.9726725,0.0003508478,0.01492581,0.0003175488,0.0002376598,0.00004521492,0.0001300135,0.0000310509,0.01128928],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.007809476,"threshold_uncertainty_score":0.02612537,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0862647377293853,"score_gpt":0.3675811881880093,"score_spread":0.281316450458624,"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."}}