{"id":"W2528259369","doi":"10.4115/jla.2018.10.2","title":"Locally compact Stone duality","year":2018,"lang":"en","type":"article","venue":"Journal of Logic and Analysis","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa","funders":"Instytut Matematyczny, Polskiej Akademii Nauk; Natural Sciences and Engineering Research Council of Canada; University of Ottawa","keywords":"Mathematics; Hausdorff space; Locally compact space; Compact space; Duality (order theory); Partially ordered set; Pure mathematics; Locally compact group; Discrete mathematics; Algebra over a field","routes":{"ca_aff":true,"ca_fund":true,"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.001041966,0.0006058932,0.0007170379,0.001590238,0.001433633,0.003192041,0.000690817,0.0006289234,0.008540208],"category_scores_gemma":[0.002214314,0.0003559958,0.0008778509,0.000947461,0.00333721,0.006932944,0.00460439,0.002239535,0.0006705623],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00102422,"about_ca_system_score_gemma":0.0004994213,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006411778,"about_ca_topic_score_gemma":0.0006184888,"domain_scores_codex":[0.9986295,0.0002866923,0.00009142463,0.0003494082,0.0004123774,0.0002307305],"domain_scores_gemma":[0.9988495,0.0003220736,0.000174958,0.0001582961,0.0002337134,0.0002615055],"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.00001275038,0.00001151507,0.0001502824,0.00002422505,0.000005967923,0.00006739091,0.000238878,0.0002292302,0.00104171,0.9959335,0.0001591702,0.002125454],"study_design_scores_gemma":[0.00001281283,0.00006034305,0.0004060697,0.00002316107,0.00001631225,0.0002670407,0.0004256395,0.003713825,0.00314942,0.9853652,0.006545231,0.00001489913],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4240871,0.001537667,0.4574195,0.001402317,0.0003062727,0.0001123194,0.000461899,0.0004744673,0.1141985],"genre_scores_gemma":[0.9505157,0.0004849541,0.03439256,0.0002748376,0.0001650784,0.00008870634,0.0002675457,0.00007187152,0.01373869],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008540208,"threshold_uncertainty_score":0.02856988,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02447380556369314,"score_gpt":0.2979073042025979,"score_spread":0.2734334986389048,"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."}}