{"id":"W2947754331","doi":"10.1002/malq.201900041","title":"Concrete barriers to quantifier elimination in finite dimensional C*‐algebras","year":2019,"lang":"en","type":"preprint","venue":"Mathematical logic quarterly","topic":"Advanced Operator Algebra Research","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Victoria","funders":"University of Victoria","keywords":"Quantifier elimination; Predicate (mathematical logic); Separable space; Mathematics; Quantifier (linguistics); Discrete mathematics; Pure mathematics; Algebra over a field; Combinatorics; Computer science; Programming language; Artificial intelligence; Mathematical analysis","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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.001884029,0.00076287,0.001440394,0.0005844713,0.0001166695,0.0003104268,0.0009680739,0.0007983266,0.002232177],"category_scores_gemma":[0.005723988,0.0006627495,0.0003117076,0.0004435477,0.0001876663,0.0002551753,0.0005623102,0.001711685,0.002405707],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003905923,"about_ca_system_score_gemma":0.0004134358,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001128362,"about_ca_topic_score_gemma":0.00001800985,"domain_scores_codex":[0.9942743,0.0005100789,0.001467388,0.001288256,0.001422548,0.001037429],"domain_scores_gemma":[0.9935327,0.003494396,0.0003022676,0.00160504,0.0003513483,0.0007142615],"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.0002059996,0.0001578086,0.0001238204,0.002347367,0.0001216532,0.0001837294,0.006281497,0.0009100022,0.001056205,0.9851443,0.002454025,0.001013663],"study_design_scores_gemma":[0.000731066,0.000618705,0.0001476239,0.0008977259,0.00004916047,0.00001346223,0.0008908989,0.01717463,0.000225655,0.978275,0.0001191527,0.0008568947],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8495898,0.0001004957,0.1339362,0.003491266,0.0008581805,0.005182333,0.0001818221,0.00038014,0.0062798],"genre_scores_gemma":[0.9223822,0.000002856179,0.0731748,0.0006968392,0.0001490591,0.0006289419,0.00007380039,0.0001673214,0.002724122],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.07279246,"threshold_uncertainty_score":0.9995824,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05546138578556566,"score_gpt":0.3568533353060465,"score_spread":0.3013919495204808,"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."}}