{"id":"W2468512922","doi":"10.1017/bsl.2016.5","title":"COMPUTABILITY AND THE CONNES EMBEDDING PROBLEM","year":2016,"lang":"en","type":"article","venue":"Bulletin of Symbolic Logic","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":10,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Ultraproduct; Embedding; Mathematics; Statement (logic); Computability; Separable space; Embedding problem; Pure mathematics; Discrete mathematics; Algebra over a field; Philosophy; Linguistics; Computer science; Artificial intelligence; Mathematical analysis","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.001426128,0.0004608782,0.0005844242,0.001056111,0.001674878,0.003768379,0.0007933113,0.00143776,0.009020833],"category_scores_gemma":[0.008229233,0.0003988618,0.0007691925,0.001269745,0.006306261,0.01116569,0.005033718,0.003544248,0.0004431891],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001798168,"about_ca_system_score_gemma":0.0006984058,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002095852,"about_ca_topic_score_gemma":0.0009584904,"domain_scores_codex":[0.9978173,0.0006395802,0.0001399068,0.0005799783,0.0004045999,0.0004187475],"domain_scores_gemma":[0.9938601,0.003809513,0.0003967726,0.0008502147,0.0005766402,0.0005067177],"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.00003670716,0.00001057575,0.0004092361,0.0000289005,0.000005359822,0.00005959813,0.0002281525,0.001159848,0.0002705311,0.9947571,0.0005587711,0.002475226],"study_design_scores_gemma":[0.000008944984,0.000009630305,0.0002421431,0.0000187978,0.000006360546,0.00007587923,0.0002511315,0.004330494,0.0006613351,0.9919442,0.002441708,0.000009309866],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6612552,0.001438764,0.1634058,0.008319858,0.0003071509,0.00009455173,0.0006930314,0.0004219509,0.1640637],"genre_scores_gemma":[0.9889964,0.0002089757,0.0054481,0.0001573205,0.00009853415,0.00002936679,0.0002247409,0.00003063212,0.004805848],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.009020833,"threshold_uncertainty_score":0.03017771,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02473587065851415,"score_gpt":0.296803539593634,"score_spread":0.2720676689351199,"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."}}