{"id":"W2885216076","doi":"10.1017/bsl.2023.1","title":"WHICH CLASSES OF STRUCTURES ARE BOTH PSEUDO-ELEMENTARY AND DEFINABLE BY AN INFINITARY SENTENCE?","year":2023,"lang":"en","type":"article","venue":"Bulletin of Symbolic Logic","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Omega; Intersection (aeronautics); Mathematics; Sentence; Combinatorics; Order (exchange); Discrete mathematics; Pure mathematics; Computer science; Linguistics; Philosophy; Artificial intelligence","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.001368986,0.0002515161,0.0004940486,0.001315367,0.001702523,0.004247728,0.0009464573,0.0008023068,0.005077541],"category_scores_gemma":[0.003903155,0.0004310411,0.0008129749,0.0008171884,0.004804018,0.009226755,0.001465183,0.001730165,0.0002808023],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001570515,"about_ca_system_score_gemma":0.0005873658,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00136467,"about_ca_topic_score_gemma":0.001849432,"domain_scores_codex":[0.998838,0.0002332097,0.0001014916,0.000267322,0.0002810258,0.0002790564],"domain_scores_gemma":[0.9950053,0.00270874,0.0004686118,0.0006540564,0.0007381902,0.0004250891],"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.0001008979,0.0000585528,0.005099654,0.00005628101,0.00001804856,0.0002717045,0.001248893,0.0005630777,0.004375249,0.9789082,0.0007140951,0.008585309],"study_design_scores_gemma":[0.00002645678,0.00004193073,0.006159232,0.00003553396,0.00003301785,0.0004550794,0.001192817,0.007314402,0.006857269,0.9703321,0.007515183,0.00003699481],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8027659,0.0003011308,0.1307979,0.001724707,0.00008013399,0.00005884552,0.0004910966,0.0004632785,0.06331719],"genre_scores_gemma":[0.9892308,0.00005619955,0.00850737,0.0001209827,0.00003766783,0.00002118581,0.0001504239,0.00004636723,0.001829092],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.005077541,"threshold_uncertainty_score":0.01698607,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01711610350930148,"score_gpt":0.2464687603152606,"score_spread":0.2293526568059591,"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."}}