Jump to ContentJump to Main Navigation

You are looking at 1-2 of 2 items

  • Keywords: Newton–Liouville closure x
Clear All Modify Search

View:

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


Asymptotic Differential Algebra and Model Theory of Transseries

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

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

Asymptotic differential algebra seeks to understand the solutions of differential equations and their asymptotics from an algebraic point of view. The differential field of transseries plays a ... More


View: