{"id":"W2024042018","doi":"10.1016/j.apal.2004.05.002","title":"Softness of hypercoherences and MALL full completeness","year":2004,"lang":"en","type":"article","venue":"Annals of Pure and Applied Logic","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":27,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Ottawa","funders":"Natural Sciences and Engineering Research Council of Canada; Ministry of Education, Culture, Sports, Science and Technology","keywords":"Mathematics; Multiplicative function; Completeness (order theory); Gödel's completeness theorem; Discrete mathematics; Functor; Calculus (dental)","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.005633467,0.0006282889,0.001883204,0.003279063,0.003589849,0.00760353,0.002241764,0.002295922,0.01008407],"category_scores_gemma":[0.01976725,0.001348381,0.002117347,0.002554855,0.01057516,0.02105524,0.007379969,0.007609473,0.0009339552],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002647489,"about_ca_system_score_gemma":0.001826916,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001255606,"about_ca_topic_score_gemma":0.001295099,"domain_scores_codex":[0.9943036,0.001524642,0.0005822145,0.001256116,0.001592285,0.0007410987],"domain_scores_gemma":[0.9758055,0.01452521,0.001360326,0.003842335,0.002978952,0.001487801],"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.00006025225,0.00002155025,0.0004156985,0.00004617793,0.00002214968,0.00005926497,0.000307059,0.0004811479,0.0003434612,0.9939055,0.0006343205,0.003703408],"study_design_scores_gemma":[0.00001478664,0.000006455874,0.0001276236,0.000009565069,0.00001084095,0.00004200732,0.00007728723,0.001191065,0.0002763339,0.9975326,0.0007002882,0.00001119034],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4073161,0.002951889,0.4620314,0.01083005,0.0005292986,0.0001539589,0.001227291,0.0007795522,0.1141805],"genre_scores_gemma":[0.9580919,0.0006312921,0.02606289,0.001070915,0.0005883868,0.0001307872,0.0004465228,0.0001620552,0.01281518],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01008407,"threshold_uncertainty_score":0.03373456,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0718893980317534,"score_gpt":0.279939365076578,"score_spread":0.2080499670448246,"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."}}