Source: wikibot/buchi-elgot-trakhtenbrot-theorem

= Büchi-Elgot-Trakhtenbrot theorem
{wiki=Büchi-Elgot-Trakhtenbrot_theorem}