{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001068378,0.0002272755,0.0005471458,0.000142361,0.0002184619,0.00004179994,0.0004974901,0.0001295038,0.000140612],"category_scores_gemma":[0.003674933,0.0001621104,0.0002023041,0.0001468365,0.0002659796,0.0002099671,0.00008438292,0.0003700753,0.0000314575],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000473883,"about_ca_system_score_gemma":0.00005103672,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002889806,"about_ca_topic_score_gemma":0.00001548778,"domain_scores_codex":[0.9981478,0.00009220333,0.00090168,0.0001325313,0.0004053,0.0003204461],"domain_scores_gemma":[0.9964812,0.001579225,0.001081881,0.0003081413,0.0004133002,0.0001362455],"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.00006412267,0.000748088,0.004562273,0.0003335905,0.000325371,0.0001408369,0.02382662,0.000005822433,0.001776384,0.9634739,0.002882723,0.001860297],"study_design_scores_gemma":[0.0004238916,0.00029368,0.0001171852,0.0003609269,0.0001271135,0.000563177,0.02446664,0.00014368,0.00563568,0.9665664,0.001059755,0.0002419125],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.898308,0.0001178643,0.09491339,0.0001936247,0.0008043096,0.00009703048,0.000005472245,0.00005010368,0.005510157],"genre_scores_gemma":[0.8995955,0.00001766698,0.09892981,0.0001013114,0.0007232859,0.000001130207,5.504215e-7,0.00003684957,0.0005939233],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.004916234,"threshold_uncertainty_score":0.661067,"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."}}