{"id":"W4385222867","doi":"10.1002/malq.202200044","title":"Topological duality for orthomodular lattices","year":2023,"lang":"en","type":"article","venue":"Mathematical logic quarterly","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"","keywords":"Mathematics; Morphism; Topological space; Category of topological spaces; Pure mathematics; Class (philosophy); Duality (order theory); Discrete mathematics; Algebra over a field; Topological tensor product; Functional 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":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0006497572,0.0001849904,0.0003256345,0.00006732393,0.0001775477,0.0001275308,0.0007406563,0.0001166744,0.00009361378],"category_scores_gemma":[0.0001744886,0.0001279618,0.0001602553,0.0004127415,0.0001106692,0.0002711362,0.00008929434,0.0001171791,0.001015143],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001631376,"about_ca_system_score_gemma":0.00001625724,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":4.558576e-7,"about_ca_topic_score_gemma":6.761155e-7,"domain_scores_codex":[0.998275,0.0000848876,0.0003645165,0.0004867145,0.0002627192,0.0005261088],"domain_scores_gemma":[0.9983433,0.0008079393,0.00008272889,0.0005702529,0.00005735092,0.0001383645],"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.000003804561,0.00008325425,0.00002677943,0.00005791663,0.00000874864,0.00002876922,0.0004777304,0.000008847873,0.0001020532,0.9868608,0.0003127939,0.01202855],"study_design_scores_gemma":[0.0002271087,0.0005469215,0.0007762685,0.000009935676,0.000006739107,0.0000175176,0.0001613834,0.02561864,0.00005628206,0.9713725,0.001013609,0.0001931284],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0480605,0.00002595893,0.943981,0.003422772,0.0001864561,0.0003759742,0.000005348596,0.0009651307,0.002976895],"genre_scores_gemma":[0.8578392,0.000002090326,0.1404545,0.000682993,0.0001129728,0.0001710462,0.000008423594,0.00001154469,0.000717235],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8097787,"threshold_uncertainty_score":0.9997627,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04756827024346589,"score_gpt":0.3164779773228596,"score_spread":0.2689097070793938,"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."}}