{"id":"W2016727077","doi":"10.1016/j.topol.2011.04.015","title":"Closure operators and their middle-interchange law","year":2011,"lang":"en","type":"article","venue":"Topology and its Applications","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":false,"ca_institutions":"York University","funders":"","keywords":"Closure (psychology); Mathematics; Closure operator; Operator (biology); Binary operation; Pure mathematics; Order (exchange); Calculus (dental); Algebra over a field; Discrete mathematics; Law; Political science; Business; Closed set","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.003770621,0.0008118129,0.001547862,0.004206805,0.005384287,0.005620684,0.00212127,0.002642264,0.01193678],"category_scores_gemma":[0.007161307,0.0007795923,0.001884774,0.003682494,0.01133076,0.02668708,0.005198102,0.005934438,0.001475494],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00174841,"about_ca_system_score_gemma":0.001074505,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001249949,"about_ca_topic_score_gemma":0.000658255,"domain_scores_codex":[0.9982431,0.0004189558,0.0001372031,0.0004301516,0.0005087299,0.0002618827],"domain_scores_gemma":[0.9963614,0.001844475,0.0003010217,0.0005186284,0.0004896462,0.0004848651],"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.000006423779,0.000005972194,0.00001798918,0.000004453774,0.000001258847,0.00001584116,0.00007758113,0.00002296019,0.00005029219,0.9985796,0.0003326281,0.0008850147],"study_design_scores_gemma":[0.000006697809,0.000003607406,0.00002427791,0.000003243355,0.000002728552,0.00003606427,0.00003454578,0.0003724945,0.00007853773,0.99788,0.001553702,0.000004260266],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1376524,0.005103665,0.554639,0.0107016,0.001692704,0.0001086599,0.0005622763,0.0006359169,0.2889038],"genre_scores_gemma":[0.8825573,0.002631709,0.06320012,0.002285226,0.002287407,0.0002895463,0.0004548162,0.0003966804,0.04589722],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01193678,"threshold_uncertainty_score":0.03993255,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05069652935025596,"score_gpt":0.2483106791038625,"score_spread":0.1976141497536066,"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."}}