Notre Dame Journal of Formal Logic 54 (3-4):279-310 (2013)

Abstract
The differential field of transseries extends the field of real Laurent series and occurs in various contexts: asymptotic expansions, analytic vector fields, and o-minimal structures, to name a few. We give an overview of the algebraic and model-theoretic aspects of this differential field and report on our efforts to understand its elementary theory
Keywords transseries   Hardy fields   differential fields   model completeness   NIP
Categories (categorize this paper)
DOI 10.1215/00294527-2143898
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,231
Through your library

References found in this work BETA

T-Convexity and Tame Extensions.Dries Lou Van Den & H. Lewenberg Adam - 1995 - Journal of Symbolic Logic 60 (1):74 - 102.
Topological Differential Fields.Nicolas Guzy & Françoise Point - 2010 - Annals of Pure and Applied Logic 161 (4):570-598.
A Model Complete Theory of Valued D-Fields.Thomas Scanlon - 2000 - Journal of Symbolic Logic 65 (4):1758-1784.
Logarithmic-Exponential Series.Lou van den Dries, Angus Macintyre & David Marker - 2001 - Annals of Pure and Applied Logic 111 (1-2):61-113.

View all 7 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Notes on the Stability of Separably Closed Fields.Carol Wood - 1979 - Journal of Symbolic Logic 44 (3):412-416.
Differential Forms in the Model Theory of Differential Fields.David Pierce - 2003 - Journal of Symbolic Logic 68 (3):923-945.
Rank and Dimension in Difference-Differential Fields.Ronald F. Bustamante Medina - 2011 - Notre Dame Journal of Formal Logic 52 (4):403-414.
Stabilité Polynômiale Des Corps Différentiels.Natacha Portier - 1999 - Journal of Symbolic Logic 64 (2):803-816.
A Model Complete Theory of Valued D-Fields.Thomas Scanlon - 2000 - Journal of Symbolic Logic 65 (4):1758-1784.
Some Model Theory for Almost Real Closed Fields.Françoise Delon & Rafel Farré - 1996 - Journal of Symbolic Logic 61 (4):1121-1152.
The Model Theory of Ordered Differential Fields.Michael F. Singer - 1978 - Journal of Symbolic Logic 43 (1):82-91.
Defining Transcendentals in Function Fields.Jochen Koenigsmann - 2002 - Journal of Symbolic Logic 67 (3):947-956.
Rank and Dimension in Difference-Differential Fields.Ronald F. Bustamante Medina - 2011 - Notre Dame Journal of Formal Logic 52 (4):403-414.
Noetherian Varieties in Definably Complete Structures.Tamara Servi - 2008 - Logic and Analysis 1 (3-4):187-204.
0-D-Valued Fields.Nicolas Guzy - 2006 - Journal of Symbolic Logic 71 (2):639 - 660.

Analytics

Added to PP index
2013-08-10

Total views
49 ( #232,987 of 2,518,240 )

Recent downloads (6 months)
1 ( #408,577 of 2,518,240 )

How can I increase my downloads?

Downloads

My notes