Documents Lachlan, A. 1 résultats

algèbre de Boole # algèbre de Lindenbaum # arbre # bon ordonnancement # calcul différentiel # consistance de théorie ZF + L puissance 1 différent HOD # décidabilité # extensibilité de structure # extension de fin de modèle d'arithmétique # filtre # forcing aléatoire # groupe abélien # hypothèse du continu # langage L (Q indice 1) # modèle d'axiome de Peano # méthode nonstandard # nombre cardinal # ordonnancement linéaire # preuve engendrée par hiérarchie # propriété de Baire # propriété infinitoire # quantification Q indice alpha # relation entre epsilon-delta procédure # récursion de type fini # réduction de la théorie des types # sigma saturé # théorie de classe # théorie de la hiérarchie # théorie des ensembles # théorie des ensembles alternative # topologie # treillis de degré de constructibilité[-]