{"id":"W2155406913","doi":"10.1017/s0960129509007543","title":"Boolean and classical restriction categories","year":2009,"lang":"en","type":"article","venue":"Mathematical Structures in Computer Science","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":20,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"","keywords":"Mathematics; Closed category; Two-element Boolean algebra; Complete Boolean algebra; Discrete mathematics; Combinatorics; Pure mathematics; Algebra over a field; Functor","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.001702386,0.0003895526,0.0004170467,0.002375263,0.001712132,0.0033489,0.00108275,0.0009629902,0.01062645],"category_scores_gemma":[0.002618749,0.0002818319,0.0006750086,0.00175356,0.00668381,0.008844152,0.003513154,0.001682223,0.001068323],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002342836,"about_ca_system_score_gemma":0.001162451,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00399805,"about_ca_topic_score_gemma":0.002004631,"domain_scores_codex":[0.9976662,0.0004928554,0.0001255595,0.0004647018,0.0008879838,0.0003627347],"domain_scores_gemma":[0.9983529,0.0004997265,0.0001544731,0.0002528376,0.0005148456,0.0002252399],"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.00000459208,0.000003600922,0.0000768192,0.00001615806,0.000002247095,0.00002539953,0.0001461058,0.0001052329,0.0001999835,0.9964818,0.0006311733,0.002306854],"study_design_scores_gemma":[0.000005885442,0.000009707387,0.0003861293,0.00002050878,0.000006323015,0.0001447725,0.0001986537,0.00121638,0.0003460703,0.9577433,0.03990997,0.00001234685],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"methods","genre_scores_codex":[0.136794,0.008013483,0.3719822,0.007364035,0.0005590105,0.0001708166,0.001960007,0.0008158266,0.4723406],"genre_scores_gemma":[0.8748235,0.002122003,0.06357881,0.001845,0.0007202784,0.0003137745,0.001540839,0.0001840152,0.05487164],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.01062645,"threshold_uncertainty_score":0.03554904,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01163668540942525,"score_gpt":0.2573887304346815,"score_spread":0.2457520450252563,"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."}}