{"id":"W2898117887","doi":"10.1017/jsl.2020.46","title":"THE COMPLEXITY OF SCOTT SENTENCES OF SCATTERED LINEAR ORDERS","year":2020,"lang":"en","type":"article","venue":"Journal of Symbolic Logic","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Countable set; Combinatorics; Mathematics; Order (exchange); Rank (graph theory); Hausdorff space; Discrete mathematics; Sentence; Sigma; Physics; Computer science; Artificial intelligence","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.001626656,0.0004067285,0.000749269,0.001933917,0.00119565,0.004371075,0.0008825277,0.0008628614,0.006910446],"category_scores_gemma":[0.01072682,0.0004772261,0.001007028,0.001143205,0.002317876,0.007841727,0.001637061,0.001390928,0.0004020728],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002482062,"about_ca_system_score_gemma":0.0008809067,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001754422,"about_ca_topic_score_gemma":0.00212237,"domain_scores_codex":[0.9974139,0.0005822605,0.0002084581,0.0003457307,0.001033912,0.0004157282],"domain_scores_gemma":[0.9865481,0.009503255,0.001334467,0.000725878,0.001092555,0.0007956446],"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.001005442,0.0002624047,0.01579437,0.0005944974,0.0001833735,0.0007683143,0.002952721,0.05898251,0.01588333,0.876832,0.003908602,0.02283255],"study_design_scores_gemma":[0.00007755084,0.000182688,0.009376008,0.00005933544,0.00009631203,0.0003681373,0.0008365751,0.1553182,0.009856343,0.8198411,0.003868336,0.0001193762],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.934212,0.0002749805,0.05214635,0.0008241422,0.00002552814,0.00004671466,0.0007572035,0.0002692741,0.01144384],"genre_scores_gemma":[0.9891803,0.00009894783,0.00783337,0.00007012243,0.00006062102,0.0000393781,0.0006725389,0.0000491978,0.001995499],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.006910446,"threshold_uncertainty_score":0.02311772,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08827320045250713,"score_gpt":0.2853018291099472,"score_spread":0.19702862865744,"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."}}