CIRM - Videos & books Library

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

V

- xx; 466 p.
Cote : 00036715

théorie des modèles # logique # théorie des nombres # théorie des groupes # théorie des corps

20E08 ; 05C25 ; 03C64 ; 03C60 ; 03C10 ; 20F60 ; 20E32 ; 20D05 ; 03C45 ; 20A15 ; 03C07 ; 03C98 ; 32B05 ; 12F10 ; 03C20 ; 11G25 ; 11G10 ; 11U09 ; 14G15 ; 20G15 ; 22E30 ; 12H05 ; 12L12 ; 30D60 ; 58A17 ; 20E42 ; 14K15 ; 03-06 ; 00B25 ; 11-06 ; 12-06 ; 20-06

Localisation : Colloque 1er étage (RAVE)

Sélection Signaler une erreur

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

- xviii; 399 p.
Cote : 00041937

ultrafiltre # théorie combinatoire des ensembles # topologie générale # ultraproduits # théorie des modèles # grands cardinaux

03C20 ; 54D80 ; 03H05 ; 03E55 ; 03C50

Localisation : Collection 1er étage

Sélection Signaler une erreur

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

V

- 439 p.
Cote : 00026386

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

Localisation : Colloque 1er étage (IIZU)

Sélection Signaler une erreur

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

V

- 574 p.
Cote : 00029327

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

Localisation : Ouvrage RdC (QIAN)

Sélection Signaler une erreur

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

y

- x; 263 p.
Cote : 00038606

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

Localisation : Ouvrage RdC (VAND)

Sélection Signaler une erreur

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

- viii; 127 p.
Cote : 00041020

théorie des modèles # logique continue # C*-algèbre nucléaire # forcing de la théorie des modèle

46L05 ; 46L35 ; 03C20 ; 03C98 ; 03E15 ; 03C25

Localisation : Collection 1er étage

Sélection Signaler une erreur

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

V

- 127 p.
Cote : 00000172

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

Localisation : Ouvrage RdC (BOWE)

Sélection Signaler une erreur

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

V

- 554 p.
Cote : 00000189

catégoricité # logique des sentences # modèle saturé # théorie des modèles # théorème de Ramsey # ultraproduit

03C20 ; 03C35 ; 03C50 ; 03Cxx

Localisation : Ouvrage RdC (CHAN)

Sélection Signaler une erreur

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

V

Cote : 00015586

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

Localisation : Collection 1er étage

Sélection Signaler une erreur

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

V

- 544 p.
Cote : 00000193

classification # modèle non isomorphe # saturé # théorie de modèle # ultra-produit

03C20 ; 03C35 ; 03C45 ; 03C50 ; 03Cxx

Localisation : Ouvrage RdC (SHEL)

Sélection Signaler une erreur

Destination de la recherche

Raccourcis

Informations Pratiques

Plan de la Bibliothèque

Histoire

Règlement Intérieur

Ludothèque

Recherche avancée

Livres électroniques

Fonds

Autres catalogues

Revue papier

Revue électronique

Autres catalogues

Revues électroniques

Bases de données

Documents 03C20 15 résultats

Model theory and applications:
based on the Euro-conference in model theory and applications
Ravello # may 27 - june 1, 2002 Bélair, L. ; Chatzidakis, Z. ; D'Aquino, P. ; Marker, D. ; Otero, M. ; Point, F. ; Wilkie, A. | ARACNE 2002 Nouveau

Ultrafilters throughout mathematics Goldbring, Isaac | American Mathematical Society 2022 Nouveau

Number theoretic methods :
future trends#proceedings of the second China-Japan seminar held Fukuoka#March 12-16 Kanemitsu, Shigeru ; Jia, Chaohua | Kluwer Academic Publishers 2002 Nouveau

Wavelet analysis and applications Qian, Tao ; Vai, Mang I. ; Yuesheng, XU | Springer 2007 Nouveau

Logic and structure Van Dalen, Dirk | Springer 2013 Nouveau

Model theory of C*-algebra Farah, Ilijas ; Hart, Bradd ; Lupini, Martino ; Robert, Leonel ; Tikuisis, Aaron ; Vignati, Alessandro ; Winter, Wilhelm | American Mathematical Society 2021 Nouveau

Model theory for modal logic
Kripke models for modal predicate calculi Bowen, Kenneth A. | D. Reidel Publishing Company 1979 Nouveau

Model theory Chang, C.C. ; Keisler, H. J. | North-Holland Publishing Co. 1973 Nouveau

Duality and definability in first order logic Makkai, Michael | American Mathematical Society 1993 Nouveau

Classification theory and the number of non-isomorphic models Shelah, S. | North-Holland Publishing Co. 1978 Nouveau

Filtrer

Type

Auteurs

Langue

Documents

Références

Auteurs

Thesaurus

Destination de la recherche

Raccourcis

Fonds

Autres catalogues

Autres catalogues

Bases de données

Documents 03C20 15 résultats

Model theory and applications:based on the Euro-conference in model theory and applicationsRavello # may 27 - june 1, 2002 Bélair, L. ; Chatzidakis, Z. ; D'Aquino, P. ; Marker, D. ; Otero, M. ; Point, F. ; Wilkie, A. | ARACNE 2002 Nouveau

Ultrafilters throughout mathematics Goldbring, Isaac | American Mathematical Society 2022 Nouveau

Number theoretic methods :future trends#proceedings of the second China-Japan seminar held Fukuoka#March 12-16 Kanemitsu, Shigeru ; Jia, Chaohua | Kluwer Academic Publishers 2002 Nouveau

Wavelet analysis and applications Qian, Tao ; Vai, Mang I. ; Yuesheng, XU | Springer 2007 Nouveau

Logic and structure Van Dalen, Dirk | Springer 2013 Nouveau

Model theory of C*-algebra Farah, Ilijas ; Hart, Bradd ; Lupini, Martino ; Robert, Leonel ; Tikuisis, Aaron ; Vignati, Alessandro ; Winter, Wilhelm | American Mathematical Society 2021 Nouveau

Model theory for modal logicKripke models for modal predicate calculi Bowen, Kenneth A. | D. Reidel Publishing Company 1979 Nouveau

Model theory Chang, C.C. ; Keisler, H. J. | North-Holland Publishing Co. 1973 Nouveau

Duality and definability in first order logic Makkai, Michael | American Mathematical Society 1993 Nouveau

Classification theory and the number of non-isomorphic models Shelah, S. | North-Holland Publishing Co. 1978 Nouveau

Filtrer

Type

Auteurs

Langue

Model theory and applications:
based on the Euro-conference in model theory and applications
Ravello # may 27 - june 1, 2002 Bélair, L. ; Chatzidakis, Z. ; D'Aquino, P. ; Marker, D. ; Otero, M. ; Point, F. ; Wilkie, A. | ARACNE 2002 Nouveau

Number theoretic methods :
future trends#proceedings of the second China-Japan seminar held Fukuoka#March 12-16 Kanemitsu, Shigeru ; Jia, Chaohua | Kluwer Academic Publishers 2002 Nouveau

Model theory for modal logic
Kripke models for modal predicate calculi Bowen, Kenneth A. | D. Reidel Publishing Company 1979 Nouveau