000 08242cam a2200949 i 4500
001 ocn986538411
003 OCoLC
005 20220908100126.0
006 m o d
007 cr cnu---unuuu
008 170510s2017 nju ob 001 0 eng d
040 _aN$T
_beng
_erda
_epn
_cN$T
_dJSTOR
_dIDEBK
_dYDX
_dEBLCP
_dMERUC
_dOCLCQ
_dLGG
_dDEGRU
_dDEBBG
_dOCLCF
_dOCLCO
_dTXI
_dUAB
_dNRC
_dUKOUP
_dOCLCQ
_dWYU
_dOCLCQ
_dUKAHL
_dOCLCQ
_dUX1
_dIEEEE
_dOCLCO
_dOCLCQ
_dOCLCO
019 _a984643717
_a992529801
_a1175644013
020 _a9781400885411
_q(electronic bk.)
020 _a1400885418
_q(electronic bk.)
020 _z9780691175423
020 _z069117542X
020 _z9780691175430
020 _z0691175438
024 7 _a10.1515/9781400885411
_2doi
029 1 _aAU@
_b000060745788
029 1 _aAU@
_b000067041914
029 1 _aAU@
_b000069876134
035 _a(OCoLC)986538411
_z(OCoLC)984643717
_z(OCoLC)992529801
_z(OCoLC)1175644013
037 _a22573/ctt1hsw1jw
_bJSTOR
037 _a9452657
_bIEEE
050 4 _aQA295
_b.A87 2017eb
072 7 _aMAT
_x002040
_2bisacsh
072 7 _aMAT002010
_2bisacsh
082 0 4 _a512/.56
_223
049 _aMAIN
100 1 _aAschenbrenner, Matthias,
_d1972-
_964940
245 1 0 _aAsymptotic differential algebra and model theory of transseries /
_cMatthias Aschenbrenner, Lou van den Dries, Joris van der Hoeven.
264 1 _aPrinceton :
_bPrinceton University Press,
_c2017.
300 _a1 online resource
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
347 _bPDF
490 1 _aAnnals of mathematics studies ;
_vnumber 195
504 _aIncludes bibliographical references and index.
588 0 _aPrint version record.
505 0 _aCover; Title; Copyright; Contents; Preface; Conventions and Notations; Leitfaden; Dramatis Person�; Introduction and Overview; A Differential Field with No Escape; Strategy and Main Results; Organization; The Next Volume; Future Challenges; A Historical Note on Transseries; 1 Some Commutative Algebra; 1.1 The Zariski Topology and Noetherianity; 1.2 Rings and Modules of Finite Length; 1.3 Integral Extensions and Integrally Closed Domains; 1.4 Local Rings; 1.5 Krull's Principal Ideal Theorem; 1.6 Regular Local Rings; 1.7 Modules and Derivations; 1.8 Differentials.
505 8 _a1.9 Derivations on Field Extensions2 Valued Abelian Groups; 2.1 Ordered Sets; 2.2 Valued Abelian Groups; 2.3 Valued Vector Spaces; 2.4 Ordered Abelian Groups; 3 Valued Fields; 3.1 Valuations on Fields; 3.2 Pseudoconvergence in Valued Fields; 3.3 Henselian Valued Fields; 3.4 Decomposing Valuations; 3.5 Valued Ordered Fields; 3.6 Some Model Theory of Valued Fields; 3.7 The Newton Tree of a Polynomial over a Valued Field; 4 Differential Polynomials; 4.1 Differential Fields and Differential Polynomials; 4.2 Decompositions of Differential Polynomials; 4.3 Operations on Differential Polynomials.
505 8 _a4.4 Valued Differential Fields and Continuity4.5 The Gaussian Valuation; 4.6 Differential Rings; 4.7 Differentially Closed Fields; 5 Linear Differential Polynomials; 5.1 Linear Differential Operators; 5.2 Second-Order Linear Differential Operators; 5.3 Diagonalization of Matrices; 5.4 Systems of Linear Differential Equations; 5.5 Differential Modules; 5.6 Linear Differential Operators in the Presence of a Valuation; 5.7 Compositional Conjugation; 5.8 The Riccati Transform; 5.9 Johnson's Theorem; 6 Valued Differential Fields; 6.1 Asymptotic Behavior of vP; 6.2 Algebraic Extensions.
505 8 _a6.3 Residue Extensions6.4 The Valuation Induced on the Value Group; 6.5 Asymptotic Couples; 6.6 Dominant Part; 6.7 The Equalizer Theorem; 6.8 Evaluation at Pseudocauchy Sequences; 6.9 Constructing Canonical Immediate Extensions; 7 Differential-Henselian Fields; 7.1 Preliminaries on Differential-Henselianity; 7.2 Maximality and Differential-Henselianity; 7.3 Differential-Hensel Configurations; 7.4 Maximal Immediate Extensions in the Monotone Case; 7.5 The Case of Few Constants; 7.6 Differential-Henselianity in Several Variables; 8 Differential-Henselian Fields with Many Constants.
505 8 _a8.1 Angular Components8.2 Equivalence over Substructures; 8.3 Relative Quantifier Elimination; 8.4 A Model Companion; 9 Asymptotic Fields and Asymptotic Couples; 9.1 Asymptotic Fields and Their Asymptotic Couples; 9.2 H-Asymptotic Couples; 9.3 Application to Differential Polynomials; 9.4 Basic Facts about Asymptotic Fields; 9.5 Algebraic Extensions of Asymptotic Fields; 9.6 Immediate Extensions of Asymptotic Fields; 9.7 Differential Polynomials of Order One; 9.8 Extending H-Asymptotic Couples; 9.9 Closed H-Asymptotic Couples; 10 H-Fields; 10.1 Pre-Differential-Valued Fields.
520 _aAsymptotic 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.
546 _aIn English.
590 _aIEEE
_bIEEE Xplore Princeton University Press eBooks Library
650 0 _aSeries, Arithmetic.
_964941
650 0 _aDivergent series.
_964942
650 0 _aAsymptotic expansions.
_964943
650 0 _aDifferential algebra.
_964944
650 6 _aS�eries arithm�etiques.
_964945
650 6 _aS�eries divergentes.
_964946
650 6 _aD�eveloppements asymptotiques.
_964947
650 6 _aAlg�ebre diff�erentielle.
_964948
650 7 _aarithmetic progressions.
_2aat
_964949
650 7 _aMATHEMATICS
_xAlgebra
_xIntermediate.
_2bisacsh
_964159
650 7 _aMATHEMATICS
_xAlgebra
_xAbstract.
_2bisacsh
_964950
650 7 _aAsymptotic expansions.
_2fast
_0(OCoLC)fst00819868
_964943
650 7 _aDifferential algebra.
_2fast
_0(OCoLC)fst00893436
_964944
650 7 _aDivergent series.
_2fast
_0(OCoLC)fst00895691
_964942
650 7 _aSeries, Arithmetic.
_2fast
_0(OCoLC)fst01113175
_964941
655 4 _aElectronic books.
_93294
700 1 _aVan den Dries, Lou.
_964951
700 1 _aHoeven, J. van der
_q(Joris)
_964952
776 0 8 _iPrint version:
_aAschenbrenner, Matthias, 1972-
_tAsymptotic differential algebra and model theory of transseries
_z9780691175423
_w(DLC) 2017005899
_w(OCoLC)962354550
830 0 _aAnnals of mathematics studies ;
_vno. 195.
_964953
856 4 0 _uhttps://ieeexplore.ieee.org/servlet/opac?bknumber=9452657
938 _aAskews and Holts Library Services
_bASKH
_nAH32776556
938 _aDe Gruyter
_bDEGR
_n9781400885411
938 _aEBL - Ebook Library
_bEBLB
_nEBL4871137
938 _aEBSCOhost
_bEBSC
_n1460147
938 _aProQuest MyiLibrary Digital eBook Collection
_bIDEB
_ncis37911855
938 _aOxford University Press USA
_bOUPR
_nEDZ0001756494
938 _aYBP Library Services
_bYANK
_n13277878
942 _cEBK
994 _a92
_bINTKS
999 _c81375
_d81375