Effective definability of Kolchin polynomials

DOI10.1090/proc/14869zbMath1466.12003arXiv1806.02060OpenAlexW2987592775WikidataQ126822935 ScholiaQ126822935MaRDI QIDQ5218192

Omar León Sánchez, Wei Li, James Freitag

Publication date: 2 March 2020

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

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

zbMATH Keywords

differential fieldsKolchin polynomialeffective definability in families

Mathematics Subject Classification ID

Effectivity, complexity and computational aspects of algebraic geometry (14Q20) Differential algebra (12H05)

Related Items (1)

Multivariate difference-differential dimension polynomials

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• On algebraic relations between solutions of a generic Painlevé equation
• Definability and fast quantifier elimination in algebraically closed fields
• Effective uniform bounding in partial differential fields
• On the index and the order of quasi-regular implicit systems of differential equations
• Effective bounds for the consistency of differential equations
• Strongly minimal expansions of algebraically closed fields
• On the generalized Ritt problem as a computational problem
• Well-Ordering of Certain Numerical Polynomials
• Estimates for the coefficients of differential dimension polynomials
• Differential Chow varieties exist

This page was built for publication: Effective definability of Kolchin polynomials