{"id":"W1953189605","doi":"10.1023/a:1025712521140","title":"Undecidability of the Free Adjoint Construction","year":2003,"lang":"en","type":"article","venue":"Applied Categorical Structures","topic":"semigroups and automata theory","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"Dalhousie University; Saint Mary's University","funders":"","keywords":"Undecidable problem; Abacus (architecture); Halting problem; Equivalence relation; Relation (database); Mathematics; Theory of computation; Equivalence (formal languages); Discrete mathematics; Combinatorics; Computer science; Decidability; Algorithm","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.005172769,0.0008101707,0.00117619,0.001109376,0.003320938,0.006381242,0.003698875,0.003361308,0.007440967],"category_scores_gemma":[0.01841518,0.001540896,0.002617293,0.00122626,0.00744728,0.01799005,0.004802969,0.01044341,0.00103773],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003066182,"about_ca_system_score_gemma":0.004268842,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004488393,"about_ca_topic_score_gemma":0.003855583,"domain_scores_codex":[0.9938164,0.001686443,0.0003896548,0.001473688,0.001513459,0.001120223],"domain_scores_gemma":[0.960031,0.0305638,0.0009911386,0.004536621,0.002775861,0.001101584],"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.0002899473,0.0002133165,0.001680569,0.0002197331,0.00004621907,0.0002897615,0.001129342,0.007761826,0.0032356,0.9625905,0.00540976,0.01713349],"study_design_scores_gemma":[0.00005398409,0.00001775737,0.0002046155,0.00001727324,0.00003151724,0.00008890902,0.0001574743,0.01364821,0.002873069,0.9804519,0.002432465,0.00002274913],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4034488,0.00121729,0.5161171,0.01298745,0.000722878,0.0002376714,0.001545017,0.004163682,0.05955997],"genre_scores_gemma":[0.9491763,0.0003901923,0.03595801,0.001130296,0.0003454552,0.0001850484,0.001526548,0.000599077,0.01068914],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007440967,"threshold_uncertainty_score":0.02735656,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.007395653299448827,"score_gpt":0.1928601209634293,"score_spread":0.1854644676639805,"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."}}