Access the full text.
Sign up today, get DeepDyve free for 14 days.
Matthias Aschenbrenner, L. Dries (2002)
H-fields and their Liouville extensionsMathematische Zeitschrift, 242
(1997)
Asymptotique Automatique
H. Hahn (1995)
Über die nichtarchimedischen Größensysteme
(2012)
Asymptotic fields, generalized power series and special Colombeau algebras of generalized functions
J. Esterle (1977)
Solution d'un problème d'Erdős,Gillman etHenriksen et application a l'étude des homomorphismes de $$C$$ (K)(K)Acta Mathematica Academiae Scientiarum Hungarica, 30
L. Dries, Adam Lewenberg (1995)
T-convexity and tame extensionsJournal of Symbolic Logic, 60
(2005)
On o-minimality of extensions of the real field by restricted generic smooth functions
H. Gonshor (1986)
An Introduction to the Theory of Surreal Numbers
Marcus Tressl (2007)
Super real closed ringsFundamenta Mathematicae, 194
S. Kuhlmann, Marcus Tressl (2011)
Comparison of exponential‐logarithmic and logarithmic‐exponential seriesMathematical Logic Quarterly, 58
B. Dahn, Peter Göring (1987)
Notes on exponential-logarithmic termsFundamenta Mathematicae, 127
J. Knight, A. Pillay, C. Steinhorn (1986)
DEFINABLE SETS IN ORDERED STRUCTURES. II
Generalized power series and non-standard analysis: between model theory and NSA, slides of a talk given at York University
Philip Ehrlich (2012)
The Absolute Arithmetic Continuum and the Unification Of all Numbers Great and SmallThe Bulletin of Symbolic Logic, 18
Matthias Aschenbrenner, L. Dries, J. Hoeven (2005)
Differentially algebraic gapsSelecta Mathematica, 11
Philip Ehrlich (1988)
An alternative construction of Conway's ordered field Noalgebra universalis, 25
L. Dries, A. Macintyre, D. Marker (1997)
Logarithmic‐Exponential Power SeriesJournal of the London Mathematical Society, 56
O. Gal (2011)
A generic condition implying o-minimality for restricted C∞-functions
M. Schmeling (2001)
Corps de transseries
F. Kuhlmann, S. Kuhlmann, S. Shelah (1996)
Exponentiation in power series fields, 125
J. Rolin, P. Speissegger, A. Wilkie (2003)
Quasianalytic Denjoy-Carleman classes and o-minimalityJournal of the American Mathematical Society, 16
L. Dries, A. Macintyre, D. Marker (1994)
The Elementary Theory of Restricted Analytic Fields with ExponentiationAnnals of Mathematics, 140
L. Dries (1986)
A generalization of the Tarski-Seidenberg theorem, and some nondefinability resultsBulletin of the American Mathematical Society, 15
L. Dries, A. Macintyre, D. Marker (2001)
Logarithmic-exponential seriesAnn. Pure Appl. Log., 111
L. Dries (1998)
Tame Topology and O-minimal Structures
Matthias Aschenbrenner, A. Fischer (2009)
Definable versions of theorems by Kirszbraun and HellyProceedings of the London Mathematical Society, 102
L. Dries, Philip Ehrlich (2001)
Fields of surreal numbers and exponentiationFundamenta Mathematicae, 167
L. Dries, Chris Miller (1995)
On the real exponential field with restricted analytic functionsIsrael Journal of Mathematics, 92
J. Hoeven (2006)
Transseries and Real Differential Algebra
(1992)
Introduction aux Fonctions Analysables et
Michael Wright, Manfred Knebusch (1976)
Bewertungen mit reeller Henselisierung.Journal für die reine und angewandte Mathematik (Crelles Journal), 1976
A. Wilkie (1996)
Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential functionJournal of the American Mathematical Society, 9
O. Le Gal (2010)
A generic condition implying o-minimality for restricted C ∞-functionsAnn. Fac. Sci. Toulouse Math. (6), 19
A. Wilkie (2007)
O-MINIMAL STRUCTURES
Chris Miller (1994)
EXPONENTIATION IS HARD TO AVOID, 122
(2007)
DEFINABLE SETS IN ORDERED STRUCTURES
(2013)
Towards a model theory of transseries
J. Denef, L. Dries (1988)
P-adic and real subanalytic setsAnnals of Mathematics, 128
(1993)
Model Theory, Encyclopedia of Mathematics and its Applications, vol
We study the relationship between fields of transseries and residue fields of convex subrings of non-standard extensions of the real numbers. This was motivated by a question of Todorov and Vernaeve, answered in this paper.
Archive for Mathematical Logic – Springer Journals
Published: Sep 24, 2013
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.