{"id":"W2077204451","doi":"10.1007/s10485-011-9262-3","title":"Essential Completeness in Categories of Completely Regular Frames","year":2011,"lang":"en","type":"article","venue":"Applied Categorical Structures","topic":"Rings, Modules, and Algebras","field":"Mathematics","cited_by":12,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Completeness (order theory); Mathematics; Theory of computation; Pure mathematics; Discrete mathematics; Algebra over a field; Algorithm; Mathematical analysis","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.004757552,0.0005760125,0.001489288,0.002688166,0.003218581,0.004038221,0.001501272,0.001462405,0.004266656],"category_scores_gemma":[0.007177799,0.0009643855,0.001526799,0.001991553,0.007902995,0.01266996,0.004439439,0.003148145,0.0004307502],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001977238,"about_ca_system_score_gemma":0.001576599,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002059356,"about_ca_topic_score_gemma":0.001756429,"domain_scores_codex":[0.9960251,0.001409136,0.0002949658,0.0007123651,0.00102456,0.0005338971],"domain_scores_gemma":[0.9915161,0.004321193,0.000541846,0.001124924,0.001672331,0.0008235889],"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.00001528058,0.00000843522,0.0001573998,0.00002410451,0.000007924912,0.00002004327,0.0003007716,0.0001579082,0.0001553649,0.997875,0.0002438589,0.001033963],"study_design_scores_gemma":[0.00001104964,0.00001196911,0.0002952366,0.00000739262,0.000009025353,0.00003924774,0.00012407,0.0007070218,0.0002209494,0.9968711,0.001694268,0.000008651119],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"methods","genre_scores_codex":[0.5215929,0.005461712,0.3300927,0.004570785,0.0003032341,0.0001090415,0.001200593,0.0004950509,0.136174],"genre_scores_gemma":[0.9676173,0.0009424934,0.02090454,0.0003172528,0.0003117997,0.00009459895,0.0006499112,0.00008885215,0.009073198],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.004757552,"threshold_uncertainty_score":0.02516067,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05060074585675606,"score_gpt":0.2675674770532661,"score_spread":0.2169667311965101,"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."}}