{"id":"W3217386039","doi":"10.1007/s00023-022-01262-1","title":"Noncommutative Nullstellensätze and Perfect Games","year":2023,"lang":"de","type":"article","venue":"Annales Henri Poincaré","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"Javna Agencija za Raziskovalno Dejavnost RS; National Science Foundation","keywords":"Noncommutative geometry; Characterization (materials science); Mathematics; Operator (biology); Algebra over a field; Combinatorial game theory; Algebraic number; Game theory; Sequential game; Mathematical economics; 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.004357625,0.001024717,0.001661874,0.001984446,0.00277083,0.004845283,0.001947051,0.002041945,0.00852315],"category_scores_gemma":[0.01044465,0.001118038,0.00135622,0.001847836,0.01037444,0.01366364,0.004352634,0.005272018,0.0007082823],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002580551,"about_ca_system_score_gemma":0.001303306,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00131966,"about_ca_topic_score_gemma":0.001485246,"domain_scores_codex":[0.9968172,0.001445917,0.0001762302,0.0004842618,0.0006242358,0.0004521197],"domain_scores_gemma":[0.9886901,0.008318572,0.0007717521,0.000818131,0.0005587086,0.000842877],"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.00002226997,0.00002079903,0.0001116474,0.00001392261,0.000005840867,0.0000324297,0.000140799,0.0004650293,0.0001379809,0.9982557,0.0002753665,0.0005181697],"study_design_scores_gemma":[0.00001987237,0.000005697083,0.00007240728,0.000003476299,0.000002784396,0.00002314459,0.00003007328,0.001219423,0.00007663796,0.9981378,0.0004034066,0.000005121087],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6899092,0.002879751,0.1591093,0.01054834,0.0004785179,0.0001003067,0.0004845553,0.0002540196,0.1362361],"genre_scores_gemma":[0.9800367,0.0005768936,0.006086668,0.0003576295,0.0003657262,0.00006940756,0.0002125969,0.00003733753,0.01225713],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.00852315,"threshold_uncertainty_score":0.02851272,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02490663896031419,"score_gpt":0.2775365735877185,"score_spread":0.2526299346274044,"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."}}