{"id":"W4415649730","doi":"10.4153/s0008439525101409","title":"Not every complete lattice can support a unital quantale","year":2025,"lang":"en","type":"article","venue":"Canadian Mathematical Bulletin","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"National Natural Science Foundation of China","keywords":"Unital; Lattice (music); Complete lattice; Algebra over a field; Subclass","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.0002159887,0.0001799902,0.0002575057,0.0001849418,0.0002051283,0.0001217212,0.0008411669,0.00008415322,0.002335557],"category_scores_gemma":[0.0002488557,0.0001696427,0.00007887823,0.0003668541,0.0001205132,0.0000626338,0.0001417875,0.0002078209,0.005689847],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001649705,"about_ca_system_score_gemma":0.0004621028,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000668362,"about_ca_topic_score_gemma":0.00184799,"domain_scores_codex":[0.9985409,0.00005416652,0.0002839722,0.000365089,0.0001813962,0.0005744589],"domain_scores_gemma":[0.9985168,0.000310508,0.00004219512,0.0005803449,0.00006271914,0.0004874577],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000002172362,0.00002773723,0.00004467442,0.00005349256,0.00001495147,0.000167418,0.0001783808,0.000006004703,0.00004828085,0.9815115,0.01656739,0.001377982],"study_design_scores_gemma":[0.0007082955,0.0001333079,0.001976162,0.0001636114,0.00003567824,0.0001659624,0.0002529743,0.005593195,0.0003876001,0.3729638,0.6168394,0.0007800434],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07547832,0.0001044691,0.5075572,0.1175569,0.0008075756,0.0009647587,0.0001402244,0.0005753768,0.2968153],"genre_scores_gemma":[0.9502631,0.000002380798,0.02317023,0.01478999,0.00003917802,0.0000302942,0.00001122057,0.00001446802,0.0116791],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8747848,"threshold_uncertainty_score":0.9985765,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02059181148186988,"score_gpt":0.2403334995398231,"score_spread":0.2197416880579532,"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."}}