{"id":"W2181843556","doi":"10.1023/a:1010614400132","title":"On the Partially Ordered Semigroup Generated by the Class Operators I,R,H,S,P","year":2001,"lang":"en","type":"article","venue":"Order","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Mathematics; Retract; Class (philosophy); Semigroup; Operator (biology); Set (abstract data type); Pure mathematics; Type (biology); Discrete mathematics; Algebra over a field; Combinatorics","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.0002056976,0.0001533124,0.000100846,0.00001761962,0.0003968137,0.0001897577,0.0009735589,0.00005537935,0.0003828165],"category_scores_gemma":[0.00008065022,0.00007277574,0.00003672171,0.0006924677,0.00007194946,0.0001725562,0.0001315054,0.0002037652,0.0004798392],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001966809,"about_ca_system_score_gemma":0.00004791551,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001525712,"about_ca_topic_score_gemma":0.00003796639,"domain_scores_codex":[0.9988537,0.0001380455,0.0001472137,0.0003096804,0.0002290057,0.0003223651],"domain_scores_gemma":[0.998972,0.0001714431,0.00004838366,0.0006719514,0.00008019833,0.00005601432],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00002801595,0.0002240333,0.0005076976,0.000002568416,0.00006303093,0.00004244907,0.0009285765,0.006814322,0.006906635,0.5505525,0.3813359,0.05259425],"study_design_scores_gemma":[0.0005114708,0.0001589944,0.000346979,0.000009382067,0.00000791353,0.0000308605,0.0001003385,0.06298639,0.003858419,0.01234943,0.9192643,0.0003755646],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4271211,0.0006411148,0.47677,0.0654232,0.001112235,0.0006449511,0.000005085511,0.0004551856,0.02782713],"genre_scores_gemma":[0.969837,0.00007159798,0.001096029,0.02165612,0.0001548924,0.00005796775,0.000005061993,0.00001759151,0.007103716],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.5427159,"threshold_uncertainty_score":0.6167521,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01443905460028625,"score_gpt":0.2309692622574119,"score_spread":0.2165302076571257,"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."}}