Adapting Rabin's theorem for differential fields

DOI10.1007/978-3-642-21875-0_22MaRDI QIDQ3091458zbMATH OpenOpenAlexFDO

Authors Alexey Ovchinnikov, Russell 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

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

Recommendations

• Computing constraint sets for differential fields
• Combinatory differential fields
• On computable field embeddings and difference closed fields
• Computable fields and the bounded Turing reduction
• Computable valued fields

Cites work

• An introduction to computable model theory on groups and fields
• Computable Algebra, General Theory and Theory of Computable Fields
• Computable fields and Galois theory
• Computable fields and weak truth-table reducibility
• Effective procedures in field theory
• Extensions of differential fields. I, II
• scientific article; zbMATH DE number 4091484 (Why is no real title available?)
• scientific article; zbMATH DE number 3573995 (Why is no real title available?)
• scientific article; zbMATH DE number 1302870 (Why is no real title available?)
• Is it harder to factor a polynomial or to find a root?
• Model Theory
• Recursively presentable prime models
• Uniqueness and characterization of prime models over sets for totally transcendental first-order theories

Cited in

(1)

• Computing constraint sets for differential fields

This page was built for publication: Adapting Rabin's theorem for differential fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3091458)