Documents Grädel, Erich 1 résultats

classe de Shelah # classe décidable et complexité # classe indécidable # classe standard décidable et axiome d'infinité # classe standard et propriété du modèle fini # classe standard indécidable # conjonction de classe à vocabulaire préfixe # fonction ou égalité # formule de Horn ou Krom # logique des prédicats pure # logique indécidable à 2 variables # pavage # problème de décision classique # sous-formule atomique # théorie monadique # théorie monadique du second ordre[-]