Differential equations over polynomially bounded o-minimal structures

DOI10.1090/S0002-9939-02-06509-7zbMath1007.03039MaRDI QIDQ3151193

Chris Miller, Jean-Marie Lion, Patrick Speissegger

Publication date: 7 October 2002

Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)

zbMATH Keywords

Hardy field; o-minimal structure; Pfaffian closure; polynomially bounded structure; level of a function

Mathematics Subject Classification ID

26A12: Rate of growth of functions, orders of infinity, slowly varying functions

34E05: Asymptotic expansions of solutions to ordinary differential equations

03C64: Model theory of ordered structures; o-minimality

Related Items

Basics of O-minimality and Hardy Fields, Pfaffian Sets and O-minimality, Definability in o-minimal expansions of the real numbers, De l'application des méthodes valuatives en algèbre différentielle, On the expressiveness and decidability of o-minimal hybrid systems, Non-oscillating solutions of a differential equation and Hardy fields, Expansions of the real field by open sets: definability versus interpretability, Expansions of o-minimal structures on the real field by trajectories of linear vector fields, Zero sets of smooth functions in the Pfaffian closure of an o-minimal structure

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Universal formulae and universal differential equations
• Semianalytic and subanalytic sets
• Expansions of the real field with power functions
• The elementary theory of restricted analytic fields with exponentiation
• Analytic stratification in the Pfaffian closure of an \(o\)-minimal structure
• Oscillation, spiralling, vorticity
• Lojasiewicz inequality in Pfaffian geometry
• Geometric categories and o-minimal structures
• The Field of Reals with Multisummable Series and the Exponential Function
• The Rank of a Hardy Field
• Rank change on adjoining real powers to Hardy fields
• A generalization of the Tarski-Seidenberg theorem, and some nondefinability results
• Growth Properties of Functions in Hardy Fields
• Rosenlicht Fields
• The real field with convergent generalized power series
• The Pfaffian closure of an o-minimal structure
• Exponentiation is Hard to Avoid
• T-convexity and tame extensions II
• Quasianalytic Denjoy-Carleman classes and o-minimality
• Pfaffian differential equations over exponential o-minimal structures
• Infinite Differentiability in Polynomially Bounded O-Minimal Structures