{"id":"W2096648167","doi":"10.1016/j.jcss.2004.07.004","title":"First-order expressibility of languages with neutral letters or: The Crane Beach conjecture","year":2004,"lang":"en","type":"article","venue":"Journal of Computer and System Sciences","topic":"semigroups and automata theory","field":"Computer Science","cited_by":27,"is_retracted":false,"has_abstract":false,"ca_institutions":"McGill University","funders":"McGill University","keywords":"Conjecture; First-order logic; Predicate (mathematical logic); Iterated function; Mathematics; Alphabet; Order (exchange); Logarithm; Discrete mathematics; Combinatorics; Computer science; Linguistics; Programming language; Philosophy","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.001873322,0.0006523588,0.001092148,0.0008335356,0.001793842,0.007637521,0.001753319,0.001778062,0.007926106],"category_scores_gemma":[0.007615561,0.0009433635,0.001478444,0.000975865,0.004494651,0.014325,0.002512215,0.00530025,0.001308633],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001789824,"about_ca_system_score_gemma":0.001644588,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00272138,"about_ca_topic_score_gemma":0.002247993,"domain_scores_codex":[0.9977173,0.0004081735,0.0001714579,0.0007268684,0.0004429376,0.0005333221],"domain_scores_gemma":[0.9913163,0.005256878,0.0004985898,0.001751183,0.000811963,0.0003650173],"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.0001974452,0.00004293278,0.000396612,0.00007828635,0.00001760094,0.0001365515,0.0008581694,0.001349096,0.002016296,0.9867514,0.001700955,0.00645453],"study_design_scores_gemma":[0.00003065557,0.00001326201,0.00009573469,0.00001674244,0.00001585134,0.00009280322,0.0001928202,0.003644836,0.001603121,0.9919637,0.002310064,0.00002029042],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6376992,0.001630095,0.1843476,0.01104714,0.0003426679,0.00009801379,0.001145967,0.001665541,0.1620238],"genre_scores_gemma":[0.963218,0.0005255469,0.01424883,0.0009344686,0.0002134886,0.00006237213,0.0006235012,0.0002018807,0.01997188],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.007926106,"threshold_uncertainty_score":0.02651548,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.009808816728811886,"score_gpt":0.2335357583327619,"score_spread":0.22372694160395,"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."}}