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

Multi angle  O-minimalism: the first-order properties of o-minimality
Schoutens, Hans (Auteur de la Conférence) | CIRM (Editeur )

O-minimalism is the first-order theory of o-minimal structures, an important class of models of which are the ultraproducts of o-minimal structures. A complete axiomatization of o-minimalism is not known, but many results are already provable in the weaker theory DCTC given by definable completeness and type completeness (a small extension of local o-minimality). In DCTC, we can already prove how many results from o-minimality (dimension theory, monotonicity, Hardy structures) carry over to this larger setting upon replacing ‘finite’ by ‘discrete, closed and bounded’. However, even then cell decomposition might fail, giving rise to a related notion of tame structures. Some new invariants also come into play: the Grothendieck ring is no longer trivial and the definable, discrete subsets form a totally ordered structure induced by an ultraproduct version of the Euler characteristic. To develop this theory, we also need another first-order property, the Discrete Pigeonhole Principle, which I cannot yet prove from DCTC. Using this, we can formulate a criterion for when an ultraproduct of o-minimal structures is again o-minimal. O-minimalism is the first-order theory of o-minimal structures, an important class of models of which are the ultraproducts of o-minimal structures. A complete axiomatization of o-minimalism is not known, but many results are already provable in the weaker theory DCTC given by definable completeness and type completeness (a small extension of local o-minimality). In DCTC, we can already prove how many results from o-minimality (dimension theory, ...

03C64

Filtrer

Type
Domaine
Codes MSC

Z
ical upper bound $T^\epsilon$ in Pila-Wilkie's results in general o-minimal structures, the improvement being due to extra geometric Bézout-like control.
In the non-archimedean setting, I will explain analogues of some of these results and techniques, most of which are (emerging) work in progress with L. Lipshitz, F. Martin and A. Smeets. Some ideas in this case come from work by Denef and Lipshitz on variants of Artin approximation in the context of power series solution. We will present some of the original definitions, results, and proof techniques about Pfaffian functions on the reals by Khovanskii.
A simple example of a Pfaffian function is an analytic function $f$ in one variable $x$ satisfying a differential equation $f^\prime = P(x,f)$ where $P$ is a polynomial in two variables. Khovanskii gives a notion of complexity of Pfaffian functions which in the example is just the degree of $P$. Using this ...

03C98 ; 14G05 ; 14H05 ; 58A17

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

Multi angle  The algebra and model theory of transseries
Aschenbrenner, Matthias (Auteur de la Conférence) | CIRM (Editeur )

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

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

Multi angle  Nonstandard compact complex manifolds with a generic auto-morphism
Moosa, Rahim (Auteur de la Conférence) | CIRM (Editeur )

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

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

Multi angle  Expansions of the real field by trajectories of definable vector fields
Miller, Chris (Auteur de la Conférence) | CIRM (Editeur )

It is by now well known that collections of compact (real-)analytic vector fields and locally connected trajectories thereof are mutually well behaved in a way that can be made precise via notions from mathematical logic, namely, by saying that the structure on the real field generated by the collection is o-minimal (that is, every subset of the real numbers definable in the structure is a finite union of points and open intervals). There are also many examples known where the assumption of analyticity or compactness can be removed, yet o-minimality still holds. Less well known is that there are examples where o-minimality visibly fails, but there is nevertheless a well-defined notion of tameness in place. In this talk, I will: (a) make this weaker notion of tameness precise; (b) describe a class of examples where the weaker notion holds; and (c) present evidence for conjecturing that there might be no other classes of examples of “non-o-minimal tameness”. (Joint work with Patrick Speissegger.)
A few corrections and comments about this talk are available in the PDF file at the bottom of the page.
It is by now well known that collections of compact (real-)analytic vector fields and locally connected trajectories thereof are mutually well behaved in a way that can be made precise via notions from mathematical logic, namely, by saying that the structure on the real field generated by the collection is o-minimal (that is, every subset of the real numbers definable in the structure is a finite union of points and open intervals). There are ...

03C64 ; 34E05

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

Multi angle  Sets with few rational points
Comte, Georges (Auteur de la Conférence) | CIRM (Editeur )

In the spirit of famous papers by Pila & Bombieri and Pila & Wilkie, I will explain how to bound the number of rational points, with respect to their height, in various kinds of sets, such as transcendental sets definable in some o-minimal - or even not o-minimal - structure over the real field. I will emphazise the role played by bounds on derivatives and on sets of zeroes in this context.

03C98 ; 11D88 ; 14G05

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

Multi angle  The ordered differential field of transseries
Van den dries, Lou (Auteur de la Conférence) | CIRM (Editeur )

The field of Laurent series (with real coefficients, say) has a natural derivation but is too small to be closed under integration and other natural operations such as taking logarithms of positive elements. The field has a natural extension to a field of generalized series, the ordered differential field of transseries, where these defects are remedied in a radical way. I will sketch this field of transseries. Recently it was established (Aschenbrenner, Van der Hoeven, vdD) that the differential field of transseries also has very good model theoretic properties. I hope to discuss this in the later part of my talk. The field of Laurent series (with real coefficients, say) has a natural derivation but is too small to be closed under integration and other natural operations such as taking logarithms of positive elements. The field has a natural extension to a field of generalized series, the ordered differential field of transseries, where these defects are remedied in a radical way. I will sketch this field of transseries. Recently it was established ...

12L12 ; 12H05 ; 03C60 ; 03C64