{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002209337,0.0001904889,0.0003449235,0.0001306165,0.0001025691,0.00002907817,0.0006207063,0.00008278744,0.0001187112],"category_scores_gemma":[0.0000629908,0.0001588128,0.00004333147,0.0004920393,0.0001365321,0.0001151409,0.0003657937,0.0001275858,0.00001858052],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001190999,"about_ca_system_score_gemma":0.00003629306,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002125994,"about_ca_topic_score_gemma":0.00002492429,"domain_scores_codex":[0.9985002,0.0000851741,0.0003487762,0.0004325824,0.0002792876,0.000353951],"domain_scores_gemma":[0.9989784,0.0001438988,0.0002257379,0.000451307,0.00009930794,0.0001013672],"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.000133539,0.000904902,0.1865322,0.001246468,0.0002534244,0.0001796878,0.003364781,0.002630489,0.03746302,0.5795764,0.1580737,0.02964142],"study_design_scores_gemma":[0.00236052,0.00205663,0.3937441,0.0002177467,0.00006871641,0.0001716421,0.005497419,0.003262716,0.01333665,0.5460685,0.03182886,0.001386459],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9905469,0.0008422204,0.002826479,0.003058734,0.0001565535,0.0002377853,0.00004165226,0.0002133481,0.002076273],"genre_scores_gemma":[0.9839043,0.0004303716,0.01469354,0.0007348169,0.00003520489,0.00001251398,0.0000230738,0.00001132057,0.0001548594],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.2072119,"threshold_uncertainty_score":0.6476198,"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."}}