{"id":"W4214602829","doi":"10.1002/0471469882.ch2","title":"Boolean Algebras","year":2003,"lang":"en","type":"other","venue":"","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary; University of Waterloo","funders":"","keywords":"Free Boolean algebra; Stone's representation theorem for Boolean algebras; Boolean algebras canonically defined; Complete Boolean algebra; Boolean algebra; Two-element Boolean algebra; Mathematics; Interior algebra; Algebra over a field; Set (abstract data type); Boolean expression; Representation (politics); Discrete mathematics; Algebra representation; Pure mathematics; Jordan algebra; Computer science; Boolean function; Programming language","routes":{"ca_aff":true,"ca_fund":false,"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":["insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.00003527154,0.0001770365,0.0001661516,0.0001115779,0.00002276864,0.00004516435,0.0007022303,0.0001377265,0.004421243],"category_scores_gemma":[0.000007372209,0.0001384612,0.00005635194,0.0001574357,0.00002413541,0.00006304172,0.0001031067,0.0001107792,0.002267819],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000111037,"about_ca_system_score_gemma":0.00002853674,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000102853,"about_ca_topic_score_gemma":0.00001808333,"domain_scores_codex":[0.9991606,0.00002206587,0.0000886586,0.0003701474,0.0001389324,0.0002196204],"domain_scores_gemma":[0.9991995,0.00001141081,0.00006536977,0.0006452675,0.00000714877,0.00007128243],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[4.131975e-8,0.000006358649,0.000002197758,0.000003160026,0.000005014123,0.000008042973,0.000003437031,2.43426e-7,0.00000155401,0.4171353,0.5766401,0.00619448],"study_design_scores_gemma":[0.0000673911,0.00001406189,0.000003344535,0.00001263707,0.000001839266,0.00001097042,0.000001567191,0.00003613449,0.00003057893,0.02522359,0.9743909,0.000206939],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[5.677824e-8,0.0004126968,0.4337821,0.00006680856,0.0003019419,0.00005159335,4.553876e-7,0.0004554027,0.5649289],"genre_scores_gemma":[0.00001381271,0.00005049236,0.1199184,0.001440346,0.00009471393,0.000004734351,0.00000163511,0.0001059818,0.8783699],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.3977508,"threshold_uncertainty_score":0.998509,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01001629896097512,"score_gpt":0.2273788717954791,"score_spread":0.217362572834504,"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."}}