{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002193718,0.0002788061,0.0008490049,0.001005712,0.002675334,0.004366505,0.0009849594,0.001339309,0.0100153],"category_scores_gemma":[0.00768692,0.0004676562,0.000773967,0.0007904334,0.005696139,0.007292426,0.003608922,0.001553277,0.001086484],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001111418,"about_ca_system_score_gemma":0.0009947029,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002041,"about_ca_topic_score_gemma":0.001751945,"domain_scores_codex":[0.997822,0.0005645024,0.0001693326,0.000347236,0.0006867854,0.0004100549],"domain_scores_gemma":[0.9909443,0.003767306,0.0008142167,0.001433934,0.001669363,0.001370812],"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.00009178845,0.00002690622,0.000708093,0.00006380566,0.00001642135,0.0002254277,0.00030569,0.0007451735,0.00128667,0.9916073,0.001714086,0.003208565],"study_design_scores_gemma":[0.00003698222,0.00003438185,0.0005416434,0.00003774469,0.00001483944,0.0003813321,0.0005227386,0.004243513,0.001074409,0.9818795,0.01119921,0.00003360378],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"other","genre_scores_codex":[0.5697663,0.001610899,0.1809346,0.006817563,0.0007332294,0.0001432507,0.00127324,0.0008331985,0.2378878],"genre_scores_gemma":[0.9799586,0.0002158267,0.01307403,0.0002958693,0.0001441609,0.00006093725,0.00024494,0.00004271635,0.005962998],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.0100153,"threshold_uncertainty_score":0.03350455,"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."}}