Abstract
ABSTRACTWe prove that if T is a theory of large, bounded, fields of characteristic 0 with almost quantifier elimination, and TD is the model companion of T∪{“∂ is a derivation”}, then for any model (𝒰,∂) of TD, differential subfield K of 𝒰 such that CK⊧T, and linear differential equation ∂Y = AY over K, there is a Picard-Vessiot extension L of K for the equation with K≤L≤𝒰, i.e. L can be embedded in 𝒰 over K, as a differential field. Moreover such L is unique to isomorphism over K as a differential field. Likewise for the analogue for strongly normal extensions for logarithmic differential equations in the sense of Kolchin.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
