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 Lascar, D. 4 results

Filter
Select: All / None
Q
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Call n° : 00006302
addition et multiplication # arithmétique de Peano # classe d'équivalence # degré de Turing # degré de table de vérité # décomposabilité forte # extension intuitioniste des réels # formalisation de méta- mathématique # groupe éléminable de quantificateur # idéal saturé # induction transfinie # limite de la connaissance mathématique # logique symbolique # mathématique constructive # modèle récursivement saturé # principe de Silver # propriété de scission universelle # relation d'équivalence # réel en singleton # structure de coeur # système présenté inductivement # ultra filtre # union de ZF-modèle[-]
addition et multiplication # arithmétique de Peano # classe d'équivalence # degré de Turing # degré de table de vérité # décomposabilité forte # extension intuitioniste des réels # formalisation de méta- mathématique # groupe éléminable de quantificateur # idéal saturé # induction transfinie # limite de la connaissance mathématique # logique symbolique # mathématique constructive # modèle récursivement saturé # principe de Silver # propriété de ...[+]

03-06 ; 03Fxx

Location : Colloque 1er étage (PRAG)

Bookmarks Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Bookmarks Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 231 p.
Call n° : 00012495
théorie de classification # théorie des modèles

03C45 ; 03Cxx

Location : Ouvrage RdC (LASC)

Bookmarks Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Call n° : 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

Location : Publication 1er étage

Bookmarks Report an error

Filter

Type
Authors
Language