{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004776462,0.00008253942,0.00032595,0.000198101,0.000103269,0.00006708102,0.0003370673,0.00003305408,0.0000529191],"category_scores_gemma":[0.00004617351,0.0000522916,0.0001818004,0.0007708091,0.0001197211,0.0003055076,0.00005688792,0.0001112459,0.000007795604],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001574504,"about_ca_system_score_gemma":0.00002710841,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000005519798,"about_ca_topic_score_gemma":0.000005301208,"domain_scores_codex":[0.9991258,0.00007222983,0.0003089518,0.0001324274,0.0002208298,0.0001398067],"domain_scores_gemma":[0.9991081,0.00006578554,0.0003073586,0.0001810715,0.0002156369,0.0001220438],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"observational","study_design_scores_codex":[0.0002410986,0.001162365,0.2719513,0.00005101277,0.007423889,0.0009686874,0.004181831,0.005668871,0.005405934,0.4496566,0.005577713,0.2477107],"study_design_scores_gemma":[0.001634259,0.002560048,0.5870356,0.00004502279,0.001648098,0.0005474771,0.0004634187,0.07296789,0.001319069,0.3240038,0.007052353,0.0007229494],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1223926,0.0003952566,0.8746703,0.001231372,0.00007076818,0.00001265647,6.01151e-7,0.00001192873,0.001214548],"genre_scores_gemma":[0.9818496,0.00007077296,0.01721382,0.000614409,0.000131519,6.083796e-8,2.658171e-7,0.000001411954,0.0001181033],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.859457,"threshold_uncertainty_score":0.213239,"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."}}