SOLVING DIFFERENCE EQUATIONS IN SEQUENCES: UNIVERSALITY AND UNDECIDABILITY

DOI10.1017/fms.2020.14zbMath1462.13029arXiv1909.03239OpenAlexW3040394833MaRDI QIDQ3304645

G. A. Pogudin, Michael Wibmer, Thomas J. Scanlon

Publication date: 3 August 2020

Published in: Forum of Mathematics, Sigma (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1909.03239

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) Additive difference equations (39A10) Effectivity, complexity and computational aspects of algebraic geometry (14Q20) Difference algebra (12H10) Applications of commutative algebra (e.g., to statistics, control theory, optimization, etc.) (13P25)

Related Items

Difference Galois theory and dynamics ⋮ On the dimension of systems of algebraic difference equations ⋮ Elimination of unknowns for systems of algebraic differential-difference equations

Cites Work

• Algorithmic problems for differential polynomial algebras
• Effective difference elimination and nullstellensatz
• A characteristic set method for ordinary difference polynomial systems
• Characteristic set method for differential-difference polynomial systems
• Closed-form analytic maps in one and two dimensions can simulate universal Turing machines
• On von Neumann regular rings with an automorphism
• Difference algebra
• On the effective Nullstellensatz
• On the model companion of partial differential fields with an automorphism
• The model theory of ordered differential fields
• THE PROBLEM OF SOLVABILITY OF EQUATIONS IN A FREE SEMIGROUP
• Model theory of difference fields
• Unpredictability and undecidability in dynamical systems
• Model Theory of Fields With Operators – a Survey
• The undecidability of the domino problem
• A unified approach to the definition of random sequences
• Hilbert's Nullstellensatz in Infinite-Dimensional Space
• The Manin-Mumford conjecture and the model theory of difference fields
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item