{"id":"W2083815041","doi":"10.1016/s0022-4049(02)00290-6","title":"On the normal completion of a Boolean algebra","year":2003,"lang":"en","type":"article","venue":"Journal of Pure and Applied Algebra","topic":"Homotopy and Cohomology in Algebraic Topology","field":"Mathematics","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Mathematics; Complete Boolean algebra; Free Boolean algebra; Two-element Boolean algebra; Ideal (ethics); Homomorphism; Context (archaeology); Joins; Embedding; Boolean prime ideal theorem; Associative property; Algebra over a field; Set (abstract data type); Boolean algebra; Discrete mathematics; Pure mathematics; Combinatorics; Computer science; Algebra representation","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002043405,0.0007665506,0.001239648,0.002325732,0.001988324,0.003180361,0.001171043,0.0009883958,0.008208847],"category_scores_gemma":[0.00332627,0.0004641792,0.0007460688,0.00130721,0.00581523,0.009297376,0.002289306,0.002565418,0.0008576805],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002192265,"about_ca_system_score_gemma":0.001616908,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003345545,"about_ca_topic_score_gemma":0.002387012,"domain_scores_codex":[0.998738,0.0002883969,0.00006239864,0.0001983405,0.0004759693,0.0002368621],"domain_scores_gemma":[0.9972989,0.0008097978,0.0002162297,0.0001685901,0.0006952818,0.0008111953],"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.00004001588,0.00003323535,0.0001371719,0.00001942878,0.00000444919,0.00007767177,0.0002637806,0.0002802227,0.0005307645,0.9963559,0.0005011532,0.00175627],"study_design_scores_gemma":[0.00002492836,0.00002667393,0.0002134326,0.000005719373,0.00000480926,0.0001049546,0.0001119435,0.002834489,0.0003422044,0.994469,0.001848915,0.00001293283],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6486054,0.002210635,0.1528099,0.005948413,0.0008634514,0.0001413417,0.0007626988,0.0005709493,0.1880872],"genre_scores_gemma":[0.9574564,0.0008026413,0.009599464,0.0003237297,0.0006804254,0.00004292361,0.0004044851,0.00009144863,0.03059852],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.008208847,"threshold_uncertainty_score":0.02746129,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02213597180465421,"score_gpt":0.2629708069293081,"score_spread":0.2408348351246539,"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."}}