Toward a model theory for transseries (Q372613): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(7 intermediate revisions by 5 users not shown) | |||
Property / author | |||
Property / author: L. P. D. van den Dries / rank | |||
Property / author | |||
Property / author: L. P. D. van den Dries / rank | |||
Normal rank | |||
Property / review text | |||
This is a very lucid and enlightening survey of the state of the art in the model theory of the field of transseries, by three of the main researchers in this fascinating topic. The differential field \(\mathbb T\) of transseries is an ordered field extensions of the real field \(\mathbb R\) and is a kind of universal domain for asymptotic real differential algebra. It has appeared in many different and rich contexts, e.g. Hilbert's sixteenth problem. The main conjecture is that the first-order theory of the ordered differential field \(\mathbb T\) is model-complete and the model-companion of the theory of \(H\)-fields with small derivation. Since the appearance of this paper, the authors have announced further results pointing to the conjecture. I will only mention a quantifier elimination similar to the one conjectured at the end of the present paper, with unary predicates \(\Omega(a), \Lambda(a)\) defined as follows. We have as elements of \(\mathbb T\) the iterated logarithms \(\ell_n\), with \(\ell_0=x\), \(\ell_{n+1}=\log \ell_n\). With these, define \(\Lambda(a) \iff a < \ell_0^{-1} +\ell_0^{-1}\ell_1^{-1}+\ldots+\ell_0^{-1}\ell_1^{-1}\ldots \ell_n^{-1}\) for some natural number \(n\), and \(\Omega(a) \iff a < \ell_0^{-2} +\ell_0^{-2}\ell_1^{-2}+\ldots+\ell_0^{-2}\ell_1^{-2}\ldots \ell_n^{-2}\) for some natural number \(n\), and it turns out that \(\Omega(a) \iff 4y''+ay=0\) for some \(y\neq 0\). The authors take us on a tour of the subject, starting with the field of Laurent series \(\mathbb R((x^{-1}))\) in the variable \(x^{-1}\) as a differential ordered field and aiming at removing its defects of having neither an antiderivative for \(x^{-1}\) (viz. \(\log x\)) nor a reasonable exponentiation function \(f\mapsto \exp(f)\), to the current state of the ambitious conjecture above. The text is accessible to nonspecialists. The authors have succeeded in their aim that only rudimentary knowledge of model theory, valuations and differential fields is necessary. The paper is enhanced with insightful examples, and succeeds to convey the richness of the subject. | |||
Property / review text: This is a very lucid and enlightening survey of the state of the art in the model theory of the field of transseries, by three of the main researchers in this fascinating topic. The differential field \(\mathbb T\) of transseries is an ordered field extensions of the real field \(\mathbb R\) and is a kind of universal domain for asymptotic real differential algebra. It has appeared in many different and rich contexts, e.g. Hilbert's sixteenth problem. The main conjecture is that the first-order theory of the ordered differential field \(\mathbb T\) is model-complete and the model-companion of the theory of \(H\)-fields with small derivation. Since the appearance of this paper, the authors have announced further results pointing to the conjecture. I will only mention a quantifier elimination similar to the one conjectured at the end of the present paper, with unary predicates \(\Omega(a), \Lambda(a)\) defined as follows. We have as elements of \(\mathbb T\) the iterated logarithms \(\ell_n\), with \(\ell_0=x\), \(\ell_{n+1}=\log \ell_n\). With these, define \(\Lambda(a) \iff a < \ell_0^{-1} +\ell_0^{-1}\ell_1^{-1}+\ldots+\ell_0^{-1}\ell_1^{-1}\ldots \ell_n^{-1}\) for some natural number \(n\), and \(\Omega(a) \iff a < \ell_0^{-2} +\ell_0^{-2}\ell_1^{-2}+\ldots+\ell_0^{-2}\ell_1^{-2}\ldots \ell_n^{-2}\) for some natural number \(n\), and it turns out that \(\Omega(a) \iff 4y''+ay=0\) for some \(y\neq 0\). The authors take us on a tour of the subject, starting with the field of Laurent series \(\mathbb R((x^{-1}))\) in the variable \(x^{-1}\) as a differential ordered field and aiming at removing its defects of having neither an antiderivative for \(x^{-1}\) (viz. \(\log x\)) nor a reasonable exponentiation function \(f\mapsto \exp(f)\), to the current state of the ambitious conjecture above. The text is accessible to nonspecialists. The authors have succeeded in their aim that only rudimentary knowledge of model theory, valuations and differential fields is necessary. The paper is enhanced with insightful examples, and succeeds to convey the richness of the subject. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Luc Bélair / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03C64 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03C10 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 26A12 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 16W60 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6214283 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
transseries | |||
Property / zbMATH Keywords: transseries / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Hardy fields | |||
Property / zbMATH Keywords: Hardy fields / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
differential fields | |||
Property / zbMATH Keywords: differential fields / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
model-completeness | |||
Property / zbMATH Keywords: model-completeness / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
NIP | |||
Property / zbMATH Keywords: NIP / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W3100430713 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1112.5237 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Closed asymptotic couples / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: \(H\)-fields and their Liouville extensions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5314822 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Liouville closed \(H\)-fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Differentially algebraic gaps / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Diophantine Problems Over Local Fields I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Diophantine problems over local fields. III: Decidable fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Elementary theory of valued fields with a valuation-preserving automorphism / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Model theory of the Frobenius on the Witt vectors / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: New ''orders of infinity'' / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Notes on exponential-logarithmic terms / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Power series solutions of algebraic differential equations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Transseries for beginners / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5531082 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Locally o-minimal structures and structures with locally o-minimal open core / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Topological differential fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4112233 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Groups, measures, and the NIP / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Exponentiation in power series fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4524293 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the Value Group of a Differential Valuation / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Differential valuations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the Value Group of a Differential Valuation II / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Rank of a Hardy Field / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Asymptotic solutions of \(Y''=F(x)Y\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A model complete theory of valued <i>D</i>-fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Stability, the f.c.p., and superstability; model theoretic properties of formulas in first order theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: <i>T</i>-convexity and tame extensions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Logarithmic-Exponential Power Series / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Logarithmic-exponential series / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Operators on generalized power series / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Transseries and real differential algebra / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 23:10, 6 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Toward a model theory for transseries |
scientific article |
Statements
Toward a model theory for transseries (English)
0 references
9 October 2013
0 references
This is a very lucid and enlightening survey of the state of the art in the model theory of the field of transseries, by three of the main researchers in this fascinating topic. The differential field \(\mathbb T\) of transseries is an ordered field extensions of the real field \(\mathbb R\) and is a kind of universal domain for asymptotic real differential algebra. It has appeared in many different and rich contexts, e.g. Hilbert's sixteenth problem. The main conjecture is that the first-order theory of the ordered differential field \(\mathbb T\) is model-complete and the model-companion of the theory of \(H\)-fields with small derivation. Since the appearance of this paper, the authors have announced further results pointing to the conjecture. I will only mention a quantifier elimination similar to the one conjectured at the end of the present paper, with unary predicates \(\Omega(a), \Lambda(a)\) defined as follows. We have as elements of \(\mathbb T\) the iterated logarithms \(\ell_n\), with \(\ell_0=x\), \(\ell_{n+1}=\log \ell_n\). With these, define \(\Lambda(a) \iff a < \ell_0^{-1} +\ell_0^{-1}\ell_1^{-1}+\ldots+\ell_0^{-1}\ell_1^{-1}\ldots \ell_n^{-1}\) for some natural number \(n\), and \(\Omega(a) \iff a < \ell_0^{-2} +\ell_0^{-2}\ell_1^{-2}+\ldots+\ell_0^{-2}\ell_1^{-2}\ldots \ell_n^{-2}\) for some natural number \(n\), and it turns out that \(\Omega(a) \iff 4y''+ay=0\) for some \(y\neq 0\). The authors take us on a tour of the subject, starting with the field of Laurent series \(\mathbb R((x^{-1}))\) in the variable \(x^{-1}\) as a differential ordered field and aiming at removing its defects of having neither an antiderivative for \(x^{-1}\) (viz. \(\log x\)) nor a reasonable exponentiation function \(f\mapsto \exp(f)\), to the current state of the ambitious conjecture above. The text is accessible to nonspecialists. The authors have succeeded in their aim that only rudimentary knowledge of model theory, valuations and differential fields is necessary. The paper is enhanced with insightful examples, and succeeds to convey the richness of the subject.
0 references
transseries
0 references
Hardy fields
0 references
differential fields
0 references
model-completeness
0 references
NIP
0 references
0 references