m

Documents  Critères de recherche : "Model theory and algebra" | enregistrements trouvés : 13

O
     

-A +A

P Q

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

- vii; 237 p.
ISBN 978-1-4704-4367-2

Contemporary mathematics , 0730

Localisation : Collection 1er étage

théorie des modèles # module # catégorie # algèbre commutative # anneau et algèbre associatifs # algèbre homologique # théorie ergodique

03C60 ; 13D09 ; 13F30 ; 16D40 ; 16D70 ; 16G20 ; 18D10 ; 18E05 ; 37A35 ; 03-06 ; 13-06 ; 16-06 ; 13Cxx ; 16Dxx ; 00B25

... Lire [+]

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

- 307 p.

Localisation : Ouvrage RdC (Appl)

modèle # algèbre # analyse # probabilité # nombre non standard # analyse non standard # probabilité non standard # nombre réel non standard # topologie algébrique non standard # intégration non standard # modèle booléen

03Cxx

... Lire [+]

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


ISBN 978-90-5699-101-2

Algebra, logic and applications series , 0009

Localisation : Colloque 1er étage (DRES)

algèbre # algèbre booléen # domaine de valuation # groupe abélien # groupe d'automorphisme # groupe de permutation infinie # groupe p-adique abélien # module # structure de catégorie # théorie de modèle # théorie des groupes

20Bxx ; 20C05 ; 20C07 ; 20K01 ; 20Kxx

... Lire [+]

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

- 410 p.
ISBN 978-0-387-10269-6

Lecture notes in mathematics , 0834

Localisation : Collection 1er étage

03Cxx

... Lire [+]

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

Algebraic and Complex Geometry;Logic and Foundations

The concept of a "transseries" is a natural extension of that of a Laurent series, allowing for exponential and logarithmic terms. Transseries were introduced in the 1980s by the analyst Écalle and also, independently, by the logicians Dahn and Göring. The germs of many naturally occurring real-valued functions of one variable have asymptotic expansions which are transseries. Since the late 1990s, van den Dries, van der Hoeven, and myself, have pursued a program to understand the algebraic and model-theoretic aspects of this intricate but fascinating mathematical object. A differential analogue of “henselianity" is central to this program. Last year we were able to make a significant step forward, and established a quantifier elimination theorem for the differential field of transseries in a natural language. My goal for this talk is to introduce transseries without prior knowledge of the subject, and to explain our recent work. The concept of a "transseries" is a natural extension of that of a Laurent series, allowing for exponential and logarithmic terms. Transseries were introduced in the 1980s by the analyst Écalle and also, independently, by the logicians Dahn and Göring. The germs of many naturally occurring real-valued functions of one variable have asymptotic expansions which are transseries. Since the late 1990s, van den Dries, van der Hoeven, and myself, have ...

03C10 ; 03C64 ; 26A12

... Lire [+]

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

- xxi; 849 p.
ISBN 978-0-691-17543-0

Annals of mathematics studies

Localisation : Ouvrage RdC (ASCH)

série arithmétique # série divergente # expansion asymptotique # algèbre différentielle

12-02 ; 03-02 ; 12L12 ; 12H05 ; 03C64

... 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.

- 211 p.
ISBN 978-3-540-64863-5

Lecture notes in mathematics , 1696

Localisation : Collection 1er étage

conjecture de Mordell-Lang # corps fini # groupe omega-stable # géométrie algébrique # géométrie de Zariski # logique # rang de Morley # théorie de stabilité # théorie des modèles # théorie des nombres # théorème de Manin

03C45 ; 03C60 ; 11G10 ; 11U09 ; 14G99

... Lire [+]

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


ISBN 978-3-540-07538-7

Lecture notes in mathematics , 0498

Localisation : Collection 1er étage

17e problème de Hilbert # algorithme en algèbre # anneau de division complet existentiellement # biographie et bibliographie de Abraham Robinson # catégorie de foncteurs locaux # classe d'équivalence élémentaire de structures génériques et # complexité de T puissance f et type d'omission en F indice T # complétude de modèle et développement de Skolem # courbe algébrique sur anneaux réguliers commutatifs # existence de famille de type rigide de p- groupes abéliens # forcing fini et filtre générique en arithmétique # idéal d'entiers en corps de nombres nonstandard # imprédicativité d'existence du sousgroupe divisible le plus # modèle d'arithmétique saturé récursivement # plongement dense # théorie des modèles projective et coforcing # théorème d'irréductibilité de Hilbert (aspects nonstandards) # théorème de Robinson 17e problème de Hilbert # algorithme en algèbre # anneau de division complet existentiellement # biographie et bibliographie de Abraham Robinson # catégorie de foncteurs locaux # classe d'équivalence élémentaire de structures génériques et # complexité de T puissance f et type d'omission en F indice T # complétude de modèle et développement de Skolem # courbe algébrique sur anneaux réguliers commutatifs # existence de famille de type rigide de ...

01A70 ; 00Bxx ; 03-06 ; 03Cxx

... Lire [+]

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

- 337 p.
ISBN 978-0-444-70321-7

North-Holland Mathematics Studies

Localisation : Ouvrage RdC (JORG)

algèbre d'opérateur # espace de Hilbert # opérateur # représentation covariante # représentation d'algèbre # théorie de la représentation

47D25

... Lire [+]

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

- 463 p.
ISBN 978-3-540-07538-7

Lecture notes in mathematics , 0498

Localisation : Collection 1er étage

01A70 ; 10N15 ; 12-02 ; 13-02 ; 14H99

... Lire [+]

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

- 284 p.

Studies in logic

Localisation : Ouvrage RdC (ROBI)

calcul des prédicats # complétude # définabilité # métamathématique de l'algèbre # théorie algébrique # théorie des modèles # théorie métamathématique des idéaux # théorie métamathématique des variétés

03C35 ; 03C40 ; 03Cxx

... Lire [+]

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

- 694 p.
ISBN 978-0-300-02071-7

Localisation : Oeuvres complètes RdC (ROBI)

algèbre différentielle # corps algébrique # théorie des modèles # Robinson # oeuvres complètes

01A60 ; 01A75 ; 03-03 ; 12-03

... Lire [+]

Z