Abstract
We prove Theorem A.Every resplendent model of an ω-stable theory is homogeneous. As an application we obtain Theorem B.Suppose T is ω-stable, M ⊨ T is recursively saturated and P ∈ S (M) is such that for all finite\(\bar m\) ∈ M, p ↑\(\bar m\) is realized in M. Then there is a\(\bar c\) ∈ M and a definition d of p over\(\bar c\) such that d is recursive in t (\(\bar c\)/O).
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: 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.