Decision problems for differential equations

DOI10.2307/2274755zbMath0683.03039OpenAlexW2109508958MaRDI QIDQ4732470

Leonard Lipshitz, Jan Denef

Publication date: 1989

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274755

zbMATH Keywords

undecidabilityalgebraic differential equationsanalytic solutionpower series

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Decidability of theories and sets of sentences (03B25) Abstract differential equations (12H20)

Related Items (11)

Undecidability through Fourier series ⋮ Elimination of quantifiers from arithmetical formulas defining recursively enumerable sets ⋮ Effective power series computations ⋮ An undecidable property of definite integrals ⋮ Guessing singular dependencies ⋮ On an undecidable problem related to difference equations with parameters ⋮ Effective analytic functions ⋮ Solving difference equations whose coefficients are not transcendental ⋮ Computing with D-algebraic power series ⋮ Zero-Equivalence in Function Fields Defined by Algebraic Differential Equations ⋮ Computability, noncomputability and undecidability of maximal intervals of IVPs

Cites Work

• Power series solutions of algebraic differential equations
• Noncomputability in analysis and physics: A complete determination of the class of noncomputable linear operators
• Exponential rings, exponential polynomials and exponential functions
• A computable ordinary differential equation which possesses no computable solution
• Some undecidable problems involving elementary functions of a real variable
• Solution of the identity problem for integral exponential functions
• Zwei Unentscheidbare Probleme Der Analysis

This page was built for publication: Decision problems for differential equations