![]() |
![]() |
Your cart is empty |
||
Showing 1 - 3 of 3 matches in All Departments
Asymptotic differential algebra seeks to understand the solutions of differential equations and their asymptotics from an algebraic point of view. The differential field of transseries plays a central role in the subject. Besides powers of the variable, these series may contain exponential and logarithmic terms. Over the last thirty years, transseries emerged variously as super-exact asymptotic expansions of return maps of analytic vector fields, in connection with Tarski's problem on the field of reals with exponentiation, and in mathematical physics. Their formal nature also makes them suitable for machine computations in computer algebra systems. This self-contained book validates the intuition that the differential field of transseries is a universal domain for asymptotic differential algebra. It does so by establishing in the realm of transseries a complete elimination theory for systems of algebraic differential equations with asymptotic side conditions. Beginning with background chapters on valuations and differential algebra, the book goes on to develop the basic theory of valued differential fields, including a notion of differential-henselianity. Next, H-fields are singled out among ordered valued differential fields to provide an algebraic setting for the common properties of Hardy fields and the differential field of transseries. The study of their extensions culminates in an analogue of the algebraic closure of a field: the Newton-Liouville closure of an H-field. This paves the way to a quantifier elimination with interesting consequences.
The book describes 4 main topics in current model theory and updates their most recent development and applications. The 4 topics are: 1) model theory of valued fields; 2) undecidability in arithmetic; 3) NIP theories; 4) model theory of real and complex exponentiation. The book addresses in particular young researchers in model theory, as well as more senior researchers in other branches of mathematics.
Asymptotic differential algebra seeks to understand the solutions of differential equations and their asymptotics from an algebraic point of view. The differential field of transseries plays a central role in the subject. Besides powers of the variable, these series may contain exponential and logarithmic terms. Over the last thirty years, transseries emerged variously as super-exact asymptotic expansions of return maps of analytic vector fields, in connection with Tarski's problem on the field of reals with exponentiation, and in mathematical physics. Their formal nature also makes them suitable for machine computations in computer algebra systems. This self-contained book validates the intuition that the differential field of transseries is a universal domain for asymptotic differential algebra. It does so by establishing in the realm of transseries a complete elimination theory for systems of algebraic differential equations with asymptotic side conditions. Beginning with background chapters on valuations and differential algebra, the book goes on to develop the basic theory of valued differential fields, including a notion of differential-henselianity. Next, H-fields are singled out among ordered valued differential fields to provide an algebraic setting for the common properties of Hardy fields and the differential field of transseries. The study of their extensions culminates in an analogue of the algebraic closure of a field: the Newton-Liouville closure of an H-field. This paves the way to a quantifier elimination with interesting consequences.
|
![]() ![]() You may like...
Introduction To Legal Pluralism In South…
C. Rautenbach
Paperback
![]()
United States Court of Appeals for the…
United States Court of Appeals
Paperback
R692
Discovery Miles 6 920
The Revolution Will Not Be Litigated…
Mark Gevisser, Katie Redford
Paperback
United States Circuit Court of Appeals…
United States Court of Appeals
Paperback
R613
Discovery Miles 6 130
In the United States Circuit Court of…
United States Court of Appeals
Hardcover
R859
Discovery Miles 8 590
|