Teoremo de Trahtenbrot

En logiko kaj finia modela teorio, la teoremo de Trahtenbrot (de Boris Trahtenbrot) statas ke la problemo de vereco en la klaso de ĉiuj finiaj modeloj estas nedecidebla. Fakte, la klaso de validaj frazoj super finiaj modeloj estas ne rikure numerigebla, kvankam ĝi estas kun-rikure numerigebla.

 Eksteraj ligiloj 
   Simpson, S. "Teoremoj de Church kaj Trahtenbrot". 2001.

Kategorio:Modela teorio
Kategorio:Rekursia teorio