{"id":"W1966402460","doi":"10.1016/j.apal.2008.09.019","title":"Definable principal congruences and solvability","year":2008,"lang":"en","type":"article","venue":"Annals of Pure and Applied Logic","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Congruence relation; Mathematics; Principal (computer security); Pure mathematics; Discrete mathematics; Computer science","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.003035387,0.0008955888,0.001932077,0.001680017,0.004337145,0.006589369,0.001488891,0.001935729,0.01044525],"category_scores_gemma":[0.009043557,0.001374804,0.002384372,0.001982206,0.009822113,0.01652598,0.005404841,0.008406837,0.001561559],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002066796,"about_ca_system_score_gemma":0.001868877,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001132806,"about_ca_topic_score_gemma":0.001445579,"domain_scores_codex":[0.9968891,0.0007570197,0.0002594314,0.0008528217,0.000698305,0.0005434506],"domain_scores_gemma":[0.9940273,0.003845554,0.0003502331,0.0005634652,0.0006811369,0.0005322955],"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.00004375637,0.00004083832,0.0001388405,0.00002926549,0.000009296894,0.00005723181,0.000508245,0.0001793337,0.0004160282,0.9945604,0.0009265376,0.003090237],"study_design_scores_gemma":[0.00003464007,0.000005473484,0.00005452298,0.000005020658,0.000006517446,0.00003271165,0.00007624881,0.0004628316,0.0002657156,0.9973577,0.001692922,0.000005744066],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2753822,0.004141282,0.4223172,0.01411208,0.001204066,0.0003670563,0.001041918,0.001407663,0.2800264],"genre_scores_gemma":[0.9207087,0.001235888,0.04215866,0.0007052087,0.001152379,0.000244476,0.0008844658,0.0002501046,0.03266016],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01044525,"threshold_uncertainty_score":0.03494281,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06344789465245204,"score_gpt":0.2813684653132636,"score_spread":0.2179205706608116,"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."}}