Adapting Rabin’s Theorem for Differential Fields

DOI10.1007/978-3-642-21875-0_22zbMath1345.03083OpenAlexW25409787MaRDI QIDQ3091458

Alexey Ovchinnikov, Russell G. Miller

Publication date: 9 September 2011

Published in: Models of Computation in Context (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-21875-0_22

Mathematics Subject Classification ID

Differential algebra (12H05) Theory of numerations, effectively presented structures (03D45)

Related Items (1)

Computing constraint sets for differential fields

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Extensions of differential fields. I, II
• An introduction to computable model theory on groups and fields
• Is it harder to factor a polynomial or to find a root?
• Effective procedures in field theory
• Computable Fields and Weak Truth-Table Reducibility
• Recursively presentable prime models
• Model Theory
• Computable Algebra, General Theory and Theory of Computable Fields
• Uniqueness and characterization of prime models over sets for totally transcendental first-order theories

This page was built for publication: Adapting Rabin’s Theorem for Differential Fields