{"id":"W3029699236","doi":"10.1090/tran/8179","title":"𝜔-categorical structures avoiding height 1 identities","year":2020,"lang":"en","type":"article","venue":"Transactions of the American Mathematical Society","topic":"Polynomial and algebraic computation","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Engineering and Physical Sciences Research Council; European Research Council; Natural Sciences and Engineering Research Council of Canada; H2020 European Research Council; Austrian Science Fund; Grantová Agentura České Republiky","keywords":"Conjecture; Bounded function; Constraint satisfaction problem; Algebraic number; Homogeneous; Set (abstract data type)","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":[],"consensus_categories":[],"category_scores_codex":[0.00009371564,0.0001011626,0.0002182409,0.000009998134,0.0002190234,0.00005203984,0.0007006954,0.00002039419,0.00004888645],"category_scores_gemma":[0.00003058544,0.000067887,0.0003399303,0.0005204365,0.0002760061,0.0001797004,0.00005482392,0.0002012682,0.00001544055],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002333521,"about_ca_system_score_gemma":0.00003608554,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001327471,"about_ca_topic_score_gemma":2.420852e-7,"domain_scores_codex":[0.99911,0.0000649338,0.0002318031,0.0001745278,0.0002617517,0.0001569845],"domain_scores_gemma":[0.9993096,0.0002035993,0.000136772,0.0002348192,0.0000302207,0.00008501144],"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.00002809032,0.0003466737,0.00009357275,0.0004099088,0.0004681921,0.000002468013,0.03265294,0.005803631,0.01926859,0.8731143,0.005511599,0.06229997],"study_design_scores_gemma":[0.0002987684,0.0001539738,0.001390649,0.00001531444,0.00007258394,0.00002530706,0.001374317,0.2862161,0.01440491,0.6954819,0.000262791,0.0003033546],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04893407,0.00001812045,0.9447324,0.005814127,0.00006935821,0.00008232208,0.000002214917,0.00009650982,0.0002508225],"genre_scores_gemma":[0.9654378,0.000008401633,0.03370994,0.0007388055,0.00004222889,0.000004794967,1.878465e-7,0.000006067851,0.00005182135],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9165037,"threshold_uncertainty_score":0.2768351,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0182941084101748,"score_gpt":0.2404552563821516,"score_spread":0.2221611479719768,"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."}}