{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00005943769,0.0001615333,0.000187969,0.0000275202,0.0002352613,0.0001304985,0.0004412277,0.00006812494,0.00002222454],"category_scores_gemma":[0.00001228167,0.0001235979,0.00002903482,0.0002914861,0.0001191765,0.000137159,0.0002601454,0.0001642217,0.00001509116],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000353723,"about_ca_system_score_gemma":0.0000146936,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001347095,"about_ca_topic_score_gemma":0.000004969038,"domain_scores_codex":[0.9989105,0.00002085456,0.0001343723,0.0004147356,0.000187978,0.0003315474],"domain_scores_gemma":[0.9993866,0.00008295629,0.00004895191,0.0003159931,0.00001939709,0.0001460948],"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.000006166985,0.000009898231,0.000314627,0.000003015683,0.000005061485,0.00001675453,0.00003978237,0.00001783191,0.0009054271,0.957375,0.0000953558,0.041211],"study_design_scores_gemma":[0.0002272061,0.00002193497,0.03801918,1.533656e-7,0.000003556273,0.00007452578,0.00001344329,0.0004650029,0.0002212773,0.9464405,0.01432511,0.0001880804],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07103606,0.0001105092,0.9241815,0.0003825699,0.0001458264,0.0001132201,0.000001624006,0.0001821242,0.003846581],"genre_scores_gemma":[0.996987,0.00001965382,0.002482652,0.0003766102,0.00008180821,0.00001215844,0.000007188321,0.000005749367,0.00002720926],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9259509,"threshold_uncertainty_score":0.5040177,"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."}}