m

F Nous contacter

0

Documents  03C45 | enregistrements trouvés : 33

O

-A +A

P Q

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

Research talks;Logic and Foundations

In recent papers by Alon et al. and Fox et al. it is demonstrated that families of graphs with a semialgebraic edge relation of bounded complexity have strong regularity properties and can be decomposed into very homogeneous semialgebraic pieces up to a small error (typical example is the incidence relation between points and lines on a real plane, or higher dimensional analogues). We show that in fact the theory can be developed for families of graphs definable in a structure satisfying a certain model theoretic property called distality, with respect to a large class of measures (this applies in particular to graphs definable in arbitrary o-minimal theories and in p-adics). (Joint work with Sergei Starchenko.) In recent papers by Alon et al. and Fox et al. it is demonstrated that families of graphs with a semialgebraic edge relation of bounded complexity have strong regularity properties and can be decomposed into very homogeneous semialgebraic pieces up to a small error (typical example is the incidence relation between points and lines on a real plane, or higher dimensional analogues). We show that in fact the theory can be developed for families of ...

03C45 ; 03C60 ; 03C64

... Lire [+]

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

- vii; 212 p.
ISBN 978-3-03719-184-2

Münster lectures in mathematics

Localisation : Colloque 1er étage (MÜNS)

logique # théorie du modèle # théorie de la stabilité # théorie NIP # théorie de l'évaluation # géométrie diophantienne # théorie algébrique des nombres # théorie des groupes # combinatoire

03C45 ; 03C60 ; 03C98 ; 05E15 ; 12J20 ; 12L12 ; 14E18 ; 20E18

... Lire [+]

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

- xii; 693 p.
ISBN 978-3-540-58425-4

Studies in classification, data analysis, and knowledge organization

Localisation : Colloque 1er étage (PARI)

analyse par grappes # perception des motifs # classification automatique # analyse des données # perception des structures

03C45 ; 62H30 ; 68T10 ; 62-07 ; 62-06

... Lire [+]

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

- viii; 364 p.
ISBN 978-0-12-714175-6

Cognitive science series

Localisation : Colloque 1er étage (LEUV)

logique # induction # catégorisation # psychologie # concept

03-XX ; 03C45 ; 62-07

... Lire [+]

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

- xi; 533 p.
ISBN 978-2-85629-855-8

Astérisque , 0390

Localisation : Périodique 1er étage

combinatoire # propriété d'indépendance en théorie des modèles # entropie sofique # résolution de systèmes linéaires sous-déterminés # flot binormal # équation de Schrödinger # conjecture de Hilbert-Smith en géométrie différentielle # géométrie sous-riemannienne # équation de Monge-Ampère en géométrie algébrique complexe # motif # période # problème de modules formels # programme de Langlands géométrique # théorie analytique des nombres # théorie de Hodge du théorème de décomposition # théorie spectrale combinatoire # propriété d'indépendance en théorie des modèles # entropie sofique # résolution de systèmes linéaires sous-déterminés # flot binormal # équation de Schrödinger # conjecture de Hilbert-Smith en géométrie différentielle # géométrie sous-riemannienne # équation de Monge-Ampère en géométrie algébrique complexe # motif # période # problème de modules formels # programme de Langlands géométrique # théorie analytique des nombres # ...

11H99 ; 14C30 ; 14F42 ; 18G55 ; 19E15 ; 32G20 ; 14E20 ; 14D22 ; 57S10 ; 57M60 ; 57S05 ; 57N10 ; 54H15 ; 55M35 ; 35P20 ; 35P25 ; 37A35 ; 37A15 ; 20E15 ; 14F05 ; 14H60 ; 11S37 ; 14D24 ; 22E55 ; 22E57 ; 14B12 ; 57T30 ; 14A20 ; 53C55 ; 32J27 ; 32P05 ; 53C17 ; 28A15 ; 03C68 ; 03C45 ; 03C98 ; 05D10 ; 28E05 ; 58A14 ; 32S60 ; 32S35 ; 55N33 ; 60G15 ; 60G60 ; 35B05 ; 34L20 ; 58J40 ; 52B55 ; 62H12 ; 42B05 ; 35Q55 ; 35C06 ; 35B35 ; 76B47 ; 76B03 ; 11N25 ; 11N64

... Lire [+]

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

- pag. mult.

Séminaire Bourbaki mars 2016

Localisation : Séminaire 1er étage

équation de Monge-Ampère complexe # variété kählérienne # géodésique minimisante # singulière minimisante # géométrie sous-riemannienne # propriété de non-indépendance # mesure de Keisler # théorie de Hodge # théorème de décomposition

32W20 ; 32Q20 ; 49Q20 ; 03C45 ; 28E05 ; 20C08 ; 14C30

... Lire [+]

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

- x; 426 p.
ISBN 978-0-8218-7281-9

CRM proceedings & lecture notes , 0053

Localisation : Collection 1er étage

théorie des modèles # catégories # théorie de la classification # catégories fibrées

03-06 ; 03C45 ; 03C52 ; 03C90 ; 03G30 ; 18C10 ; 18D05 ; 18D30 ; 00B25 ; 00B30

... Lire [+]

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

- xx; 466 p.
ISBN 978-88-7999-411-8

Quaderni di matematica , 0011

Localisation : Colloque 1er étage (RAVE)

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

... Lire [+]

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

- 433 p.
ISBN 978-2-85629-110-8

Astérisque , 0276

Localisation : Périodique 1er étage;Réserve

groupe de tresse # groupe ordonné # groupe de difféotopie # problème des mots # grands cardinaux # autodistributivité # mouvement Brownien # propriété trajectorielle # marche aléatoire à boucle effacée # exposant d'intersection # exposant de croissance # invariance conforme # pavage par dominos # arbre couvrant # fonction de couplage # K-theorie # conjecture de Baum-Connes # réseau dans les groupes de Lie # propriété T # théorie des modèles # géométrie diophantienne # corps de différence # conjecture de Manin-Mumford # variété algébrique réelle # variété symplectique # courbe rationelle # variété de Fano # flot hamiltonien # trajectoire de Floer # correspondance de Langlands # corps de fonction groupe de tresse # groupe ordonné # groupe de difféotopie # problème des mots # grands cardinaux # autodistributivité # mouvement Brownien # propriété trajectorielle # marche aléatoire à boucle effacée # exposant d'intersection # exposant de croissance # invariance conforme # pavage par dominos # arbre couvrant # fonction de couplage # K-theorie # conjecture de Baum-Connes # réseau dans les groupes de Lie # propriété T # théorie des modèles # ...

20F36 ; 20F60 ; 20F10 ; 57M07 ; 06F15 ; 03E55 ; 08A50 ; 60J65 ; 60J15 ; 05C70 ; 14-XX ; 35Jxx ; 35Qxx ; 49Jxx ; 49Rxx ; 58E15 ; 81T13 ; 19K99 ; 22E50 ; 58G12 ; 03C60 ; 14K15 ; 11G10 ; 03C45 ; 11F80 ; 11G18 ; 14G35 ; 53D12 ; 14P25 ; 11Fxx ; 14Fxx ; 22Exx ; 14Exx ; 14F42 ; 17B67 ; 17B68 ; 81T40 ; 14H10 ; 14H60 ; 14G40 ; 11G15 ; 11F27 ; 11F30 ; 11G50 ; 11F46 ; 19D55 ; 55S10 ; 16G10 ; 57M99 ; 15A52 ; 37K10

... Lire [+]

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

- 389 p.
ISBN 978-0-521-55961-4

London mathematical society lecture note series , 0222

Localisation : Collection 1er étage

algèbre et linguistique # calcul résultant pour logique du second ordre # catégorie # complexité et expressivité # décision de prouvabilité de formule de logique linéaire # hypercohérence # héritage avec exception # intéraction stochastisque # logique bilinéaire # modèle stable fortement de logique linéaire # simulation directe de machine de Minsky # structure finie de règle exponentielle # syntaxe et sémantique # théorie de la complexité # théorie de la preuve # théorie des ensembles algèbre et linguistique # calcul résultant pour logique du second ordre # catégorie # complexité et expressivité # décision de prouvabilité de formule de logique linéaire # hypercohérence # héritage avec exception # intéraction stochastisque # logique bilinéaire # modèle stable fortement de logique linéaire # simulation directe de machine de Minsky # structure finie de règle exponentielle # syntaxe et sémantique # théorie de la complexité # ...

03B15 ; 03Bxx ; 03C45 ; 03D15 ; 68S05

... Lire [+]

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

Research talks;Logic and Foundations

If CCM denotes the theory of compact complex spaces in the langauge of complex-analytic sets, then the theory of models of CCM equipped with an automorphism has a model companion, denoted by CCMA. The relationship to meromorphic dynamical systems is the same as that of ACFA to rational dynamical systems. I will discuss recent joint work with Martin Bays and Martin Hils that begins a systematic study of CCMA as an expansion of ACFA. Particular topics we consider include: stable embeddedness, imaginaries, and the Zilber dichotomy. If CCM denotes the theory of compact complex spaces in the langauge of complex-analytic sets, then the theory of models of CCM equipped with an automorphism has a model companion, denoted by CCMA. The relationship to meromorphic dynamical systems is the same as that of ACFA to rational dynamical systems. I will discuss recent joint work with Martin Bays and Martin Hils that begins a systematic study of CCMA as an expansion of ACFA. Particular ...

03C60 ; 03C45 ; 03C65 ; 32Jxx

... Lire [+]

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

- vii; 156 p.
ISBN 978-1-107-05775-3

Lecture notes in logic

Localisation : Ouvrage RdC (SIMO)

théorie des modèles # logique # indépendance

03-02 ; 03C45 ; 03C68

... Lire [+]

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

- vii; 195 p.
ISBN 978-3-642-54935-9

Lecture notes in mathematics , 2111

Localisation : Collection 1er étage

analyse globale # théorie des modèles # théorie des nombres

03Cxx ; 03C45 ; 03C10 ; 03C60 ; 03C64 ; 12J20 ; 11U05 ; 11U09 ; 03-06 ; 03C62 ; 00B25

... Lire [+]

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

- v; 80 p.
ISBN 978-0-8218-9475-0

Memoirs of the american mathematical society , 1081

Localisation : Collection 1er étage

théorie descriptive des ensembles # variété algébrique # théorie de la classification

03C55 ; 03C45 ; 03E15 ; 03E47 ; 03C75 ; 03E35

... Lire [+]

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

- xiv; 169 p.
ISBN 978-0-521-11955-9

Lecture notes in logic

Localisation : Ouvrage RdC (CASA)

Théorie simple # stabilité # ramification # independance # bases canoniques # élimination des hyperimaginations

03C45 ; 03-02

... Lire [+]

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

- xi; 260 p.
ISBN 978-0-7923-6221-0

Mathematics and its applications , 0503

Localisation : Ouvrage RdC (WAGN)

théorie de la classification # théorie de la stabilité # hyper-martingale # théorie simple # groupe simple # rang de Lascar # rang de Shelah # conditions de chaînes

03C45 ; 03-02 ; 03C60 ; 20A15

... Lire [+]

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

- xi; 235 p.
ISBN 978-0-8218-4893-7

University lecture series , 0050

Localisation : Collection 1er étage

théorème de complétude # théorie des modèles

03C30 ; 03C45 ; 03C52 ; 03C60 ; 03C75 ; 03C95 ; 03C98 ; 03-02 ; 03C35

... Lire [+]

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

- 556 p.
ISBN 978-0-8218-4305-5

Mathematical surveys and monographs , 0145

Localisation : Collection 1er étage

théorie des modèles # groupe simple de rang de Morley fini # groupe fini abstrait # groupe algébrique linéaire # groupe de permutation # méthode probabiliste # polygones généralisés # algèbre de Lie

03C60 ; 03C98 ; 03C45 ; 20A15 ; 20D05 ; 20E42 ; 20G05 ; 20G20 ; 20G40 ; 20B07 ; 20B15 ; 20B20 ; 20B22 ; 20B25 ; 20B27 ; 20P05 ; 51E12 ; 51E24 ; 17B20 ; 17B25 ; 17B45 ; 19C20

... Lire [+]

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

- 193 p.
ISBN 978-0-691-11331-9

Annals of mathematics studies , 0152

Localisation : Ouvrage RdC (CHER)

groupe de permutation # structure finie # théorie des modèles # géométrie finie # théorie des groupes # enveloppe # stabilité # géométrie de Lie

03Cxx ; 03C13 ; 03C35 ; 03C45 ; 03C50 ; 03C60 ; 20B27

... Lire [+]

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

- 306 p.
ISBN 978-0-8218-3474-9

Contemporary mathematics , 0380

Localisation : Collection 1er étage

espace nucléaire # logique # modèle non-standard # théorie des ensembles # ultrafiltre # définissabilité # conjecture de Schanuel

03-06 ; 03C35 ; 03C45 ; 03C60 ; 03C95 ; 03C98 ; 03E05 ; 03E15 ; 03F30 ; 03H15 ; 03Cxx ; 03Exx

... Lire [+]

Z