{"id":"W2570765932","doi":"10.1142/s0129054111008052","title":"CLOSURES IN FORMAL LANGUAGES AND KURATOWSKI'S THEOREM","year":2011,"lang":"en","type":"article","venue":"International Journal of Foundations of Computer Science","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":21,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Closure (psychology); Mathematics; Complement (music); Separation axiom; Axiom; Discrete mathematics; Regular language; Partition (number theory); Formal language; Abstract family of languages; Concatenation (mathematics); Topological space; Pure mathematics; Combinatorics; Computer science; Algorithm; Theoretical computer science; Second-generation programming language","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.0006684194,0.000065502,0.000110056,0.0005019867,0.00005404817,0.0001098005,0.001592682,0.00001656801,0.00001282078],"category_scores_gemma":[0.00007458822,0.00005224229,0.00003808631,0.00034904,0.0003055514,0.002686279,0.0003142306,0.00009260936,0.00000168842],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003121253,"about_ca_system_score_gemma":0.0001509114,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000009577647,"about_ca_topic_score_gemma":0.000005421102,"domain_scores_codex":[0.9989042,0.00002626235,0.0003532995,0.0001309478,0.0004525171,0.0001327164],"domain_scores_gemma":[0.9989033,0.000084915,0.0002876452,0.000146249,0.0005223436,0.00005556397],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"observational","study_design_scores_codex":[0.00001628354,0.0001072288,0.005683525,0.000002573686,0.00001625258,0.0000432319,0.002600896,0.0002923313,0.001260787,0.7691805,0.00001385759,0.2207825],"study_design_scores_gemma":[0.001994707,0.00100086,0.5052297,0.0002370299,0.00001077787,0.0015289,0.0003372031,0.05984915,0.02314058,0.4053552,0.0008895273,0.0004264449],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2902007,0.00006421842,0.7077637,0.0002450632,0.0005255592,0.00002806108,5.697078e-7,0.000007092718,0.00116499],"genre_scores_gemma":[0.8074372,0.00002110875,0.1923907,0.00008896311,0.00005550716,4.701383e-7,1.400964e-7,0.00000139362,0.000004543061],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.5172365,"threshold_uncertainty_score":0.2959626,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01872716622195174,"score_gpt":0.3057454771416453,"score_spread":0.2870183109196935,"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."}}