Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- ix; 174 p.
ISBN 978-981-4699-94-5
Lecture notes series, Institute for mathematical sciences, National university of Singapore , 0029
Localisation : Colloque 1er étage (SING)
théorie des modèles # non-résolubilité # logique mathématique # forcing
03-06 ; 03E40 ; 03C20 ; 03D28 ; 00B25
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- ix; 200 p.
ISBN 978-0-8218-4833-3
Contemporary mathematics , 0530
Localisation : Collection 1er étage
logique mathématique # ensemble combinatoire # théorie de Ramsey # ultrafiltres
03C20 ; 03E05 ; 03H05 ; 05C55 ; 28E15 ; 03-06 ; 00B25
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 301 p.
ISBN 978-0-8218-3904-1
Contemporary mathematics , 0420
Localisation : Collection 1er étage
algèbre de groupes # anneau de groupe # algèbre de Hopf # tyhéorie des invariants # algèbre de Lie # géométrie algébrique non-commutative # anneau non commutatif
08B25 ; 15A57 ; 16W25 ; 17B40 ; 20C07 ; 20C15 ; 20F40 ; 03C20 ; 16S34 ; 16U60 ; 20B30 ; 22A05
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 167 p.
ISBN 978-0-8218-3535-7
Contemporary mathematics , 0361
Localisation : Collection 1er étage
théorie des modèles # théorie des ensembles non-standard # arithmétique # équivalence récursive # analyse non-archimédienne
03C62 ; 03C20 ; 03H05 ; 03H15 ; 03D50 ; 26E30 ; 03C55 ; 03E25 ; 03E99 ; 03E35
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 439 p.
ISBN 978-1-4020-1080-4
Developments in mathematics , 0008
Localisation : Colloque 1er étage (IIZU)
identité de partition # équation à q-différence # série d'Eisenstein # indépendance linéaire # équation diophantienne # formule explicite # représentation # distribution modulo 1 # forme modulaire # fonction L # racine primitive # fonction zêta # approximant de Padé # théorie de Nevanlinna # série hypergéométrique # somme de Gauss
11-06 ; 11-03 ; 11P83 ; 11J82 ; 11M36 ; 11J72 ; 11P81 ; 11G05 ; 11N37 ; 11K60 ; 11F66 ; 11N69 ; 11M41 ; 11L15 ; 11P32 ; 82C44 ; 03C20 ; 11M20
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- x; 263 p.
ISBN 978-1-4471-4557-8
Universitext
Localisation : Ouvrage RdC (VAND)
logique propositionnelle # logique des prédicats # exhaustibilité # logique de second ordre # logique intuitionniste # normalisation # théorème d'incomplétude de Gödel # ultraproduit
03-01 ; 03-02 ; 03B05 ; 03B10 ; 03B15 ; 03B20 ; 03C07 ; 03C20
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 574 p.
ISBN 978-3-7643-7777-9
Applied and numerical harmonic analysis
Localisation : Ouvrage RdC (QIAN)
analyse numérique # analyse de Fourier # ondelette # approximation # fractale # analyse temps-fréquence # signal linéaire # signale non-linéaire # traitement d'image
03H05 ; 26E35 ; 46S20 ; 03C20 ; 03C62 ; 03C98 ; 26A03 ; 46A99 ; 46B08 ; 46M07 ; 54A99 ; 54E15
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-0-8218-2565-5
Memoirs of the american mathematical society , 0503
Localisation : Collection 1er étage
2-catégorie # facteur définissable # logique algébrique # logique catégorique # logique du premier ordre # logique proportionnelle # théorie de la dualité # théorie des mobiles # topo # ultramorphisme spécial # ultraproduit
03C20 ; 03C40 ; 03G30 ; 18D05
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 196 p.
ISBN 978-0-88385-108-1
M.A.A. Studies in Mathematics , 0008
Localisation : Ouvrage RdC (Stud)
analyse non-standard # théorie des modèles # ultra puissance
03C20 ; 03C55 ; 03C70 ; 03Cxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 544 p.
ISBN 978-0-7204-0757-0
Studies in logic and the foundations of mathematics , 0092
Localisation : Ouvrage RdC (SHEL)
classification # modèle non isomorphe # saturé # théorie de modèle # ultra-produit
03C20 ; 03C35 ; 03C45 ; 03C50 ; 03Cxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 554 p.
ISBN 978-0-7204-2273-3
Studies in logic and foundations of mathematics , 0073
Localisation : Ouvrage RdC (CHAN)
catégoricité # logique des sentences # modèle saturé # théorie des modèles # théorème de Ramsey # ultraproduit
03C20 ; 03C35 ; 03C50 ; 03Cxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 127 p.
Synthèse library , 0127
Localisation : Ouvrage RdC (BOWE)
calcul des prédicats # calcul modal des prédicats # complétude de modèle # consistance de joint # extension de modèle # forcing fini # interpolation # limite directe # logique modale # modèle de Kripke # morphisme # tableau sémantique # théorie des modèles # théorie inductive # théorème de Lowenheim-Skolem # ultrapoint
03B05 ; 03B45 ; 03C20 ; 03Cxx ; 03E40
... Lire [+]
