{"id":"W2008875404","doi":"10.1006/jabr.2001.8914","title":"On the Partially Ordered Monoid Generated by the Operators H, S, P, Ps on Classes of Algebras","year":2001,"lang":"en","type":"article","venue":"Journal of Algebra","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Mathematics; Unary operation; Abelian group; Monoid; Closure (psychology); Countable set; Semigroup; Stone's representation theorem for Boolean algebras; Type (biology); Pure mathematics; Combinatorics; Subalgebra; Discrete mathematics; Algebra over a field; Two-element Boolean algebra; 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.001707094,0.0009475603,0.001106433,0.003245593,0.003157699,0.004653537,0.001199905,0.001537565,0.005891549],"category_scores_gemma":[0.00269872,0.0006294745,0.00119637,0.002260939,0.004200973,0.008922976,0.002365093,0.001795979,0.000589715],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002032411,"about_ca_system_score_gemma":0.001163109,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001883177,"about_ca_topic_score_gemma":0.001823151,"domain_scores_codex":[0.9985895,0.0003361492,0.00008546968,0.0002469313,0.0004272632,0.0003146739],"domain_scores_gemma":[0.9965715,0.001625055,0.0004878099,0.0002629028,0.0003946782,0.0006580037],"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.0000741933,0.00002279406,0.0004945005,0.00003188623,0.0000102383,0.0001213791,0.0004124229,0.0006167854,0.001005981,0.993936,0.0004362849,0.002837649],"study_design_scores_gemma":[0.00002671294,0.00004859633,0.0008826694,0.00002600207,0.00001406786,0.0002198154,0.000187858,0.004255138,0.0006717191,0.9908455,0.002797171,0.00002485082],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8165728,0.002046369,0.1208323,0.001668229,0.000310889,0.00008712422,0.0008042047,0.0002127904,0.05746508],"genre_scores_gemma":[0.9697821,0.001110787,0.01327264,0.000216819,0.0004168055,0.00008329673,0.000605395,0.00006931221,0.01444294],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.005891549,"threshold_uncertainty_score":0.01970923,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01783697034395042,"score_gpt":0.2453454907634649,"score_spread":0.2275085204195144,"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."}}