{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009170697,0.0001507805,0.0004017616,0.00009251881,0.0001179276,0.00001426812,0.0001999664,0.0001355786,0.0004871913],"category_scores_gemma":[0.0002292875,0.00009388833,0.0001148717,0.0001131395,0.0002233709,0.00004313395,0.00002676934,0.0004246445,0.00001051183],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000130563,"about_ca_system_score_gemma":0.00004941287,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":5.990952e-7,"about_ca_topic_score_gemma":0.000003510142,"domain_scores_codex":[0.9987634,0.0001444798,0.0005344113,0.0001124955,0.000241835,0.0002033495],"domain_scores_gemma":[0.9983954,0.0007477169,0.0005128823,0.0001987599,0.00007152904,0.00007364012],"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.00007951649,0.0001383239,0.0001145286,0.00002522444,0.00009577323,0.00001222477,0.0005171258,0.000001786886,0.001876514,0.9925941,0.003731809,0.0008131133],"study_design_scores_gemma":[0.0007789147,0.0003852399,0.0005231331,0.00003574368,0.00009034913,0.000388329,0.0007159786,0.000003358984,0.01319185,0.9818602,0.001912636,0.0001142699],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9812905,0.0001274434,0.001565586,0.001129978,0.0001555599,0.0001502201,0.00000254562,0.000009085016,0.01556909],"genre_scores_gemma":[0.9980111,0.00002685368,0.0010632,0.0006685029,0.0001038461,0.000004613149,5.362041e-7,0.00001393405,0.0001073852],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.01672064,"threshold_uncertainty_score":0.5334404,"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."}}