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 Smiley, T. J. 1 results

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

Logic colloquium' 80
papers intended for the european summer meeting of the association for symbolic logic
Aug. 24-30 Lascar, D. ; Smiley, T. J. ; Van Dalen, D. | North-Holland Publishing Co. 1982

Congrès


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

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error

List: nb of elts/page

Select: All / None

Filter

Authors

MSC Codes

Language