{"id":"W2952912396","doi":"10.48550/arxiv.0901.3761","title":"Closures in Formal Languages and Kuratowski's Theorem","year":2009,"lang":"en","type":"preprint","venue":"ArXiv.org","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Linguistics; Computer science; Programming language; Mathematics; History; Philosophy","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.002359031,0.0003486924,0.0006533141,0.001870552,0.002123096,0.002796518,0.0008271983,0.0005882964,0.002928763],"category_scores_gemma":[0.004469984,0.0004313983,0.001170552,0.001177083,0.008703765,0.01020001,0.002888827,0.002012437,0.0005516681],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002528803,"about_ca_system_score_gemma":0.001178855,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001550023,"about_ca_topic_score_gemma":0.0008617603,"domain_scores_codex":[0.9982483,0.0003401099,0.0001688778,0.0004122516,0.0005270374,0.0003034084],"domain_scores_gemma":[0.9977101,0.001015404,0.0003879411,0.0002876721,0.0003838015,0.0002149866],"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.00004009842,0.00001386862,0.0005790546,0.00003566285,0.000006460082,0.00007558838,0.0007865823,0.0004732846,0.0009850721,0.9919953,0.0004504075,0.004558665],"study_design_scores_gemma":[0.00002875552,0.00002549805,0.0008383422,0.00002756213,0.00001222113,0.0002521581,0.0002981751,0.001899021,0.001620752,0.9811106,0.01386058,0.00002640968],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6455832,0.004404211,0.2119025,0.005204431,0.0002268834,0.0001483902,0.0007558518,0.0007192736,0.1310554],"genre_scores_gemma":[0.9671828,0.0007475904,0.02409845,0.0002994956,0.0001683452,0.0001141327,0.0001932859,0.00006190246,0.007134098],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.002928763,"threshold_uncertainty_score":0.0183478,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01968751998267646,"score_gpt":0.283336034772215,"score_spread":0.2636485147895385,"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."}}