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.
ISBN 978-0-444-86494-9
Studies in logic and the foundations of mathematics , 0110
Localisation : Colloque 1er étage (NOOR)
Brouwer # arithmétique intuitioniste # axiome de choix dénombrable # calcul synthétique # constructivité # couverture de Freyd # définition inductive monotone # entaille de Friedman # espace formel # foncteur lisse # fonction constructive # lambda calcul typé pur # logique constructive # modèle constructif # modèle non standard # méthode non récursive # projection de suite sans loi # règle d'induction barre # signification # suite de choix # théorie de l'approximation constructive # théorie des ensembles constructibles # théorie des nombres algébriques # théorème barre # théorème de l'éventail # topos collant
Brouwer # arithmétique intuitioniste # axiome de choix dénombrable # calcul synthétique # constructivité # couverture de Freyd # définition inductive monotone # entaille de Friedman # espace formel # foncteur lisse # fonction constructive # lambda calcul typé pur # logique constructive # modèle constructif # modèle non standard # méthode non récursive # projection de suite sans loi # règle d'induction barre # signification # suite de choix # ...
03Fxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 162 p.
ISBN 978-90-01-59775-7
Localisation : Ouvrage RdC (DALE)
Bourbaki # Riemann # axiome de choix # développement # histoire # intégration de Lebesgue # intégraton # jeux # stratégie
01A05 ; 01A55 ; 01A60 ; 04-03 ; 28-03
... Lire [+]