{"id":"W4388827577","doi":"10.1088/1742-6596/2634/1/012008","title":"Congruences and subdirect decompositions in universal algebra","year":2023,"lang":"en","type":"article","venue":"Journal of Physics Conference Series","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Congruence relation; Mathematics; Irreducibility; Universal algebra; Algebra over a field; Congruence (geometry); Heyting algebra; Subalgebra; Pure mathematics; Cellular algebra; Algebra representation; Tensor algebra","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.0001331909,0.0000844503,0.0001780135,0.0001122455,0.00007474945,0.0001074013,0.0003275102,0.00002425876,0.00000525698],"category_scores_gemma":[0.0000215696,0.00007213192,0.00003629931,0.0004858248,0.0001122588,0.00155241,0.00009728217,0.0001435912,0.000006355709],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001672364,"about_ca_system_score_gemma":0.0001281433,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000007104394,"about_ca_topic_score_gemma":0.00002546857,"domain_scores_codex":[0.9993503,0.00004620554,0.0001866871,0.000113335,0.0001473315,0.0001561212],"domain_scores_gemma":[0.9994604,0.0001018637,0.0001424093,0.0001000706,0.00013381,0.00006147392],"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.00001479242,0.0000298788,0.002064723,0.00001078868,0.00001661852,0.0001842249,0.001920038,0.000267513,0.004554551,0.924145,0.00009685086,0.066695],"study_design_scores_gemma":[0.0005903071,0.0004256209,0.03434118,0.0001293968,0.00001105483,0.0001880769,0.001692866,0.00291332,0.02997588,0.9288126,0.0006420458,0.0002776771],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8155612,0.0001248777,0.1803581,0.002411283,0.0003911755,0.00006677103,0.00000338926,0.00007060052,0.001012648],"genre_scores_gemma":[0.9946377,0.0002519029,0.004951485,0.00004451368,0.00004925837,8.324311e-7,7.467137e-7,0.000002949218,0.00006058662],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.1790766,"threshold_uncertainty_score":0.2941454,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01982912313807415,"score_gpt":0.2514695013298785,"score_spread":0.2316403781918043,"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."}}