Closed Asymptotic Couples

Matthias Aschenbrenner, Lou Van Den Dries

Research output: Contribution to journalArticle

Abstract

The derivation of a Hardy field induces on its value group a certain function ψ. If a Hardy field extends the real field and is closed under powers, then its value group is also a vector space over R. Such "ordered vector spaces with ψ-function" are called H-couples. We define closed H-couples and show that every H-couple can be embedded into a closed one. The key fact is that closed H-couples have an elimination theory: solvability of an arbitrary system of equations and inequalities (built up from vector space operations, the function ψ, parameters, and the unknowns to be solved for) is equivalent to an effective condition on the parameters of the system. The H-couple of a maximal Hardy field is closed, and this is also the case for the H-couple of the field of logarithmic-exponential series over R. We analyze in detail finitely generated extensions of a given H-couple.

Original languageEnglish (US)
Pages (from-to)309-358
Number of pages50
JournalJournal of Algebra
Volume225
Issue number1
DOIs
StatePublished - Jan 1 2000

Fingerprint

Closed
Vector space
Elimination Theory
Ordered Vector Space
Finitely Generated
System of equations
Solvability
Logarithmic
Unknown
Series
Arbitrary

ASJC Scopus subject areas

  • Algebra and Number Theory

Cite this

Closed Asymptotic Couples. / Aschenbrenner, Matthias; Van Den Dries, Lou.

In: Journal of Algebra, Vol. 225, No. 1, 01.01.2000, p. 309-358.

Research output: Contribution to journalArticle

Aschenbrenner, Matthias ; Van Den Dries, Lou. / Closed Asymptotic Couples. In: Journal of Algebra. 2000 ; Vol. 225, No. 1. pp. 309-358.
@article{462ff311ce984caba378148e615cf2a3,
title = "Closed Asymptotic Couples",
abstract = "The derivation of a Hardy field induces on its value group a certain function ψ. If a Hardy field extends the real field and is closed under powers, then its value group is also a vector space over R. Such {"}ordered vector spaces with ψ-function{"} are called H-couples. We define closed H-couples and show that every H-couple can be embedded into a closed one. The key fact is that closed H-couples have an elimination theory: solvability of an arbitrary system of equations and inequalities (built up from vector space operations, the function ψ, parameters, and the unknowns to be solved for) is equivalent to an effective condition on the parameters of the system. The H-couple of a maximal Hardy field is closed, and this is also the case for the H-couple of the field of logarithmic-exponential series over R. We analyze in detail finitely generated extensions of a given H-couple.",
author = "Matthias Aschenbrenner and {Van Den Dries}, Lou",
year = "2000",
month = "1",
day = "1",
doi = "10.1006/jabr.1999.8128",
language = "English (US)",
volume = "225",
pages = "309--358",
journal = "Journal of Algebra",
issn = "0021-8693",
publisher = "Academic Press Inc.",
number = "1",

}

TY - JOUR

T1 - Closed Asymptotic Couples

AU - Aschenbrenner, Matthias

AU - Van Den Dries, Lou

PY - 2000/1/1

Y1 - 2000/1/1

N2 - The derivation of a Hardy field induces on its value group a certain function ψ. If a Hardy field extends the real field and is closed under powers, then its value group is also a vector space over R. Such "ordered vector spaces with ψ-function" are called H-couples. We define closed H-couples and show that every H-couple can be embedded into a closed one. The key fact is that closed H-couples have an elimination theory: solvability of an arbitrary system of equations and inequalities (built up from vector space operations, the function ψ, parameters, and the unknowns to be solved for) is equivalent to an effective condition on the parameters of the system. The H-couple of a maximal Hardy field is closed, and this is also the case for the H-couple of the field of logarithmic-exponential series over R. We analyze in detail finitely generated extensions of a given H-couple.

AB - The derivation of a Hardy field induces on its value group a certain function ψ. If a Hardy field extends the real field and is closed under powers, then its value group is also a vector space over R. Such "ordered vector spaces with ψ-function" are called H-couples. We define closed H-couples and show that every H-couple can be embedded into a closed one. The key fact is that closed H-couples have an elimination theory: solvability of an arbitrary system of equations and inequalities (built up from vector space operations, the function ψ, parameters, and the unknowns to be solved for) is equivalent to an effective condition on the parameters of the system. The H-couple of a maximal Hardy field is closed, and this is also the case for the H-couple of the field of logarithmic-exponential series over R. We analyze in detail finitely generated extensions of a given H-couple.

UR - http://www.scopus.com/inward/record.url?scp=0034148623&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0034148623&partnerID=8YFLogxK

U2 - 10.1006/jabr.1999.8128

DO - 10.1006/jabr.1999.8128

M3 - Article

AN - SCOPUS:0034148623

VL - 225

SP - 309

EP - 358

JO - Journal of Algebra

JF - Journal of Algebra

SN - 0021-8693

IS - 1

ER -