{"id":"W2078212057","doi":"10.1007/s00153-013-0360-9","title":"Omitting types and AF algebras","year":2013,"lang":"en","type":"article","venue":"Archive for Mathematical Logic","topic":"Advanced Operator Algebra Research","field":"Mathematics","cited_by":32,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Guelph; McMaster University; York University","funders":"","keywords":"Mathematics; Algebra over a field; Pure mathematics","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004832952,0.001237149,0.001720997,0.003894323,0.005525158,0.009052437,0.002862659,0.002469944,0.01345481],"category_scores_gemma":[0.01224921,0.001494326,0.002220438,0.004824002,0.007307512,0.03259176,0.004993281,0.01044732,0.002246518],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002540775,"about_ca_system_score_gemma":0.001461344,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001734313,"about_ca_topic_score_gemma":0.001579523,"domain_scores_codex":[0.9969301,0.001081036,0.0003288434,0.0005233087,0.0007376533,0.0003991402],"domain_scores_gemma":[0.9918545,0.004169574,0.0005513506,0.001578073,0.001381154,0.0004653024],"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.00001709604,0.000009007998,0.00008713546,0.00002558328,0.000003435635,0.00003002348,0.0001742408,0.00009061942,0.00007059238,0.9959207,0.001118955,0.002452646],"study_design_scores_gemma":[0.000003763812,0.000003152347,0.00002922706,0.00001027229,0.000005595152,0.00004688518,0.00004120677,0.0002937688,0.00008086374,0.9960527,0.003427574,0.000004828845],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1161849,0.01122778,0.5945747,0.01636298,0.005341354,0.00007804803,0.001625701,0.001386795,0.2532179],"genre_scores_gemma":[0.8290295,0.005352831,0.07407159,0.001986905,0.004051336,0.0001279415,0.001803538,0.000863735,0.08271261],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01345481,"threshold_uncertainty_score":0.04501086,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0568174547702114,"score_gpt":0.3454196293319866,"score_spread":0.2886021745617752,"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."}}