{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001063011,0.0002758884,0.0005810941,0.0007236321,0.001810201,0.003216385,0.001120817,0.0008207756,0.004815213],"category_scores_gemma":[0.004651996,0.0004038619,0.001394482,0.0008314478,0.003449156,0.005022961,0.003059496,0.002300625,0.0008473724],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002389853,"about_ca_system_score_gemma":0.001243003,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002155512,"about_ca_topic_score_gemma":0.002263365,"domain_scores_codex":[0.9979479,0.0003445871,0.0001427573,0.000636208,0.0005573711,0.0003712634],"domain_scores_gemma":[0.9960082,0.001762719,0.0004501606,0.0009459147,0.0004974524,0.0003355698],"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.00004707356,0.00002375257,0.0008018586,0.00002772833,0.000007423965,0.0001236279,0.0004985647,0.002523515,0.001981702,0.9882719,0.0005612505,0.005131545],"study_design_scores_gemma":[0.00002226534,0.00002802582,0.0003728894,0.0000119702,0.00001431432,0.0000884412,0.0002152474,0.010117,0.002659684,0.9812788,0.005176064,0.00001524066],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5770567,0.0002678818,0.3544247,0.002431222,0.0001022888,0.0001200293,0.0009378638,0.001285549,0.06337384],"genre_scores_gemma":[0.9582274,0.00009956577,0.03050848,0.000269292,0.00006725428,0.00009748387,0.0007679277,0.0001354233,0.009827187],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.004815213,"threshold_uncertainty_score":0.01733965,"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."}}