{"id":"W2585571557","doi":"10.1007/s11856-018-1735-8","title":"Explicit sentences distinguishing Mcduff’s II1 factors","year":2018,"lang":"en","type":"article","venue":"Israel Journal of Mathematics","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Mathematics; Separable space; Pairwise comparison; Quantifier elimination; Quantifier (linguistics); Discrete mathematics; Algebra over a field; Pure mathematics; Artificial intelligence; Computer science; Statistics; 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.001458039,0.0006391826,0.0006103363,0.00138339,0.002981375,0.00402011,0.0007220102,0.001945434,0.01812845],"category_scores_gemma":[0.008300484,0.0006643986,0.000676939,0.001117398,0.003020869,0.00901664,0.002666393,0.003868913,0.002402242],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001620689,"about_ca_system_score_gemma":0.0007020707,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002807466,"about_ca_topic_score_gemma":0.002363248,"domain_scores_codex":[0.9981505,0.0004919928,0.0001464073,0.0004649448,0.0003651092,0.0003810693],"domain_scores_gemma":[0.9944206,0.003140365,0.000292185,0.0007207887,0.001110089,0.0003159671],"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.00009323392,0.00001488676,0.0003576643,0.00004878211,0.000006013382,0.0001210733,0.001640576,0.00008641892,0.001596446,0.9879853,0.003025206,0.005024391],"study_design_scores_gemma":[0.00004154162,0.00003665846,0.0009426971,0.00007620166,0.00004968245,0.0004565238,0.001620652,0.002118737,0.005646425,0.9173515,0.07160429,0.00005507765],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.2337989,0.001635926,0.2324479,0.00903352,0.001175688,0.0001423578,0.001603123,0.001951144,0.5182112],"genre_scores_gemma":[0.9570619,0.0002031749,0.02166414,0.0006957963,0.0002593973,0.0000386341,0.0005353458,0.0004680149,0.01907361],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01812845,"threshold_uncertainty_score":0.0606457,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08378231632932114,"score_gpt":0.3655418717530923,"score_spread":0.2817595554237711,"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."}}