{"id":"W2043248260","doi":"10.1023/a:1008673803010","title":"Extension by Continuity in Pointfree Topology","year":2000,"lang":"en","type":"article","venue":"Applied Categorical Structures","topic":"Fuzzy and Soft Set Theory","field":"Decision Sciences","cited_by":13,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Mathematics; Extension (predicate logic); Generalization; Pure mathematics; Topology (electrical circuits); Discrete mathematics; Calculus (dental); Computer science; Combinatorics; Mathematical analysis; Programming language","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.003035916,0.0005426596,0.001069502,0.002693015,0.001846431,0.003393982,0.001281468,0.001341225,0.004673551],"category_scores_gemma":[0.004962113,0.0007097194,0.001712449,0.002016532,0.007237408,0.01502101,0.005500154,0.004241005,0.0004069822],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001329673,"about_ca_system_score_gemma":0.000612966,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008537752,"about_ca_topic_score_gemma":0.000447457,"domain_scores_codex":[0.9983892,0.0004687589,0.0001130667,0.0004605357,0.000412092,0.0001563599],"domain_scores_gemma":[0.9962569,0.002057193,0.0002662234,0.0005541264,0.0005176392,0.0003477931],"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.000009272811,0.000006760765,0.00007743909,0.00001518759,0.000005426654,0.00003048029,0.0001487051,0.0002980054,0.0001478692,0.9970363,0.000145468,0.002079152],"study_design_scores_gemma":[0.000008031513,0.000013519,0.0001034846,0.000005545479,0.000006042925,0.00008493926,0.00003761978,0.001234938,0.0001430206,0.9965709,0.001786292,0.000005616806],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1911722,0.003051621,0.7022051,0.005025561,0.0004333804,0.0001037365,0.000380175,0.0002398722,0.09738834],"genre_scores_gemma":[0.9120219,0.001855468,0.06826233,0.0005147822,0.0005194416,0.0001431105,0.0002395028,0.00009064323,0.01635277],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004673551,"threshold_uncertainty_score":0.01605564,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02783796389801511,"score_gpt":0.3182758328582597,"score_spread":0.2904378689602446,"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."}}