Abstract

We study abstract elementary classes (AECs) that, in ℵ0, have amalgamation, joint embedding, no maximal models and are stable (in terms of the number of orbital types). Assuming a locality property for types, we prove that such classes exhibit superstable-like behavior at ℵ0. More precisely, there is a superlimit model of cardinality ℵ0 and the class generated by this superlimit has a type-full good ℵ0-frame (a local notion of nonforking independence) and a superlimit model of cardinality ℵ1. We also give a supersimplicity condition under which the locality hypothesis follows from the rest.

Full Text
Paper version not known

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 call

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.