En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK

Documents Stern, J. 2 résultats

Filtrer
Sélectionner : Tous / Aucun
Q
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Cote : 00005204
arbre homogène # digraphe # dilatateur récursif # déduction # ensemble de Borel # ensemble dénombrable récursivement # foncteur # hiérarchie projective ou analytique # itération d'admissibilité # jardin # logique du premier ordre # logique mathématique # logique symbolique # modèle # ordinal de Bachmann Howard # polynome en somme de carré # propriété locale ou non locale # théorie de la preuve # théorie des nombres # théorie superstable # théorème de Girard # théorème de Herbrand # théorème de Ramsey # théorème de finitude # vérité[-]
arbre homogène # digraphe # dilatateur récursif # déduction # ensemble de Borel # ensemble dénombrable récursivement # foncteur # hiérarchie projective ou analytique # itération d'admissibilité # jardin # logique du premier ordre # logique mathématique # logique symbolique # modèle # ordinal de Bachmann Howard # polynome en somme de carré # propriété locale ou non locale # théorie de la preuve # théorie des nombres # théorie superstable # ...[+]

03-06 ; 03Fxx

Localisation : Colloque 1er étage (MARS)

Sélection Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Cote : 00004991
axiome de Martin # conjecture de Borel # conjecture de Vaught # détermination de jeu analytique # ensemble souslinien # espace polonais # forcing itéré # homomorphisme d'algèbres de Banach # jeu de Wadge # relation d'équivalence analytique # relation d'équivalence coanalytique # réel-0- dièsé # théorie des ensembles # théorie descriptive des ensembles # théorème de Harrington # théorème de Martin # ultrafiltre séléctif

03C25 ; 03Exx ; 04A05

Localisation : Publication 1er étage

Sélection Signaler une erreur

Filtrer

Auteurs
Codes MSC
Langue