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)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Call n° : 00011795
logique
03-02 ; 03-06
Location : Publication 1er étage
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)
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
Français