m

F Nous contacter

0

Documents  Lascar, D. | enregistrements trouvés : 4

O
     

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Publications mathematiques de l'universite paris vii , 0027

Localisation : Publication 1er étage

logique

03-02 ; 03-06

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.


ISBN 978-0-444-86465-9

Studies in logic and the foundations of mathematics , 0108

Localisation : Colloque 1er étage (PRAG)

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

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Publications Mathématiques de l'Université de Paris VII , 0005

Localisation : Publication 1er étage

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

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 231 p.
ISBN 978-2-87077-367-3

Monographies de Mathematique

Localisation : Ouvrage RdC (LASC)

théorie de classification # théorie des modèles

03C45 ; 03Cxx

... Lire [+]

Z