{"id":"W42117920","doi":"10.1023/a:1012095313842","title":"Boundedness and Complete Distributivity","year":2001,"lang":"en","type":"article","venue":"Applied Categorical Structures","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":false,"ca_institutions":"Dalhousie University; Mount Allison University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Distributivity; Mathematics; Bounded function; Infimum and supremum; Corollary; Constructive; Simple (philosophy); Idempotence; Pure mathematics; Discrete mathematics; Combinatorics; Distributive property; Process (computing); Computer science; Philosophy; Epistemology","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.004167897,0.0008232818,0.001875928,0.001949794,0.003671592,0.006370642,0.002341684,0.001947474,0.007248249],"category_scores_gemma":[0.01191428,0.00142379,0.002016186,0.002691164,0.01368053,0.01906387,0.006801257,0.006474587,0.001019741],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002173489,"about_ca_system_score_gemma":0.00155494,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001976551,"about_ca_topic_score_gemma":0.001596177,"domain_scores_codex":[0.9941475,0.001450137,0.0004535404,0.001661004,0.001621753,0.0006660105],"domain_scores_gemma":[0.983023,0.009365607,0.0006604031,0.003447225,0.002567232,0.0009364967],"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.0000209765,0.00001217621,0.00007498761,0.00002353232,0.000008592089,0.00002603186,0.00028475,0.0002420969,0.0002314049,0.9967147,0.0003293007,0.002031476],"study_design_scores_gemma":[0.000008353614,0.000004292304,0.00005659547,0.000005223223,0.00000555119,0.00002540506,0.0000334157,0.0005220046,0.0002872292,0.9977381,0.001307904,0.000005817764],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.1526974,0.00440156,0.7118238,0.004902858,0.0005643965,0.0001079065,0.000808022,0.000739391,0.1239546],"genre_scores_gemma":[0.9180977,0.001221958,0.05632267,0.001005062,0.0007812209,0.0002301674,0.0006214484,0.0002610365,0.0214588],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.007248249,"threshold_uncertainty_score":0.02424783,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01645415745446746,"score_gpt":0.2297577031387903,"score_spread":0.2133035456843229,"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."}}