{"id":"W2094301123","doi":"10.1016/j.apal.2005.05.018","title":"A globalisation of the Gelfand duality theorem","year":2005,"lang":"en","type":"article","venue":"Annals of Pure and Applied Logic","topic":"Homotopy and Cohomology in Algebraic Topology","field":"Mathematics","cited_by":60,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Topos theory; Mathematics; Commutative property; Dual (grammatical number); Duality (order theory); Equivalence (formal languages); Pure mathematics; Constructive; Algebra over a field; Discrete mathematics; Linguistics","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.001804567,0.0007611006,0.001126843,0.001897324,0.001575267,0.003374538,0.000983694,0.001519612,0.01102492],"category_scores_gemma":[0.002435313,0.0004686154,0.001315128,0.001163823,0.006360315,0.01023782,0.004571928,0.004278568,0.001219799],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001135805,"about_ca_system_score_gemma":0.0005240284,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004150439,"about_ca_topic_score_gemma":0.0003727193,"domain_scores_codex":[0.9991961,0.0002751375,0.0000353086,0.0002515248,0.0001538919,0.00008810114],"domain_scores_gemma":[0.9989474,0.0005060714,0.00006100272,0.000193622,0.0002066262,0.00008532348],"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.000004538643,0.00000346687,0.00002716263,0.00001091304,0.000002942547,0.00001827105,0.00005145966,0.00007386668,0.00009423171,0.9979457,0.0004924154,0.001274939],"study_design_scores_gemma":[0.00000729287,0.000004955433,0.00005811575,0.000006345795,0.000003446084,0.00004182672,0.00002634456,0.0003476285,0.00009727361,0.9949526,0.004451014,0.000003123779],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.05530208,0.005893091,0.4393612,0.01367622,0.001495053,0.00005533197,0.0005345235,0.0004161871,0.4832662],"genre_scores_gemma":[0.8564414,0.004082014,0.07230932,0.003862973,0.002211662,0.0001811368,0.0004616461,0.0004590274,0.05999075],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01102492,"threshold_uncertainty_score":0.03688204,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07318049852209535,"score_gpt":0.3400861599043922,"score_spread":0.2669056613822968,"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."}}