Jump to ContentJump to Main Navigation

You are looking at 1-3 of 3 items

  • Keywords: Liouville closed H-field x
Clear All Modify Search

View:

H-Fields

Matthias Aschenbrenner, Lou van den Dries, and Joris van der Hoeven

in Asymptotic Differential Algebra and Model Theory of Transseries

Published in print:
2017
Published Online:
October 2017
ISBN:
9780691175423
eISBN:
9781400885411
Item type:
chapter
Publisher:
Princeton University Press
DOI:
10.23943/princeton/9780691175423.003.0011
Subject:
Mathematics, Computational Mathematics / Optimization

This chapter considers H-fields, pre-differential-valued fields with a field ordering that interacts with the valuation and derivation. Axiomatizing this interaction yields the notion of a ... More


Quantifier Elimination

Matthias Aschenbrenner, Lou van den Dries, and Joris van der Hoeven

in Asymptotic Differential Algebra and Model Theory of Transseries

Published in print:
2017
Published Online:
October 2017
ISBN:
9780691175423
eISBN:
9781400885411
Item type:
chapter
Publisher:
Princeton University Press
DOI:
10.23943/princeton/9780691175423.003.0017
Subject:
Mathematics, Computational Mathematics / Optimization

This chapter considers the theory Tsuperscript nl of ω‎-free newtonian Liouville closed H-fields that eliminates quantifiers in a certain natural language. This theory has two completions: in the ... More


Eventual Quantities, Immediate Extensions, and Special Cuts

Matthias Aschenbrenner, Lou van den Dries, and Joris van der Hoeven

in Asymptotic Differential Algebra and Model Theory of Transseries

Published in print:
2017
Published Online:
October 2017
ISBN:
9780691175423
eISBN:
9781400885411
Item type:
chapter
Publisher:
Princeton University Press
DOI:
10.23943/princeton/9780691175423.003.0012
Subject:
Mathematics, Computational Mathematics / Optimization

This chapter deals with eventual quantities, immediate extensions, and special cuts. It first considers the behavior of eventual quantities before discussing Newton weight, Newton degree, and Newton ... More


View: