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 |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 71,231
External links
- From the Publisher via CrossRef (no proxy)
- arxiv.org
(no proxy) - arxiv.org [2] (no proxy)
- projecteuclid.org (no proxy)
- projecteuclid.org [2] (no proxy)
- projecteuclid.org [3] (no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
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.
Stability, the F.C.P., and Superstability; Model Theoretic Properties of Formulas in First Order Theory.Saharon Shelah - 1971 - Annals of Mathematical Logic 3 (3):271.
View all 7 references / Add more references
Citations of this work BETA
Transseries and Todorov–Vernaeve’s Asymptotic Fields.Matthias Aschenbrenner & Isaac Goldbring - 2014 - Archive for Mathematical Logic 53 (1-2):65-87.
Similar books and articles
Notes on the Stability of Separably Closed Fields.Carol Wood - 1979 - Journal of Symbolic Logic 44 (3):412-416.
The Model Theory of Differential Fields with Finitely Many Commuting Derivations.Tracey McGrail - 2000 - Journal of Symbolic Logic 65 (2):885-913.
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.
Prime Model Extensions for Differential Fields of Characteristic P ≠.Carol Wood - 1974 - Journal of Symbolic Logic 39 (3):469 - 477.
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 )
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
