Simplicity and uncountable categoricity in excellent classes
We introduce Lascar strong types in excellent classes and prove that they coincide with the orbits of the group generated by automorphisms fixing a model. We define a new independence relation using Lascar strong types and show that it is well-behaved over models, as well as over finite sets. We then develop simplicity (when this independence relation has local character) and show that, under simplicity, the independence relation satisfies all the properties of nonforking in a stable first...Expand abstract
- Publication status:
- Peer review status:
- Peer reviewed
- Publisher's version
- Copyright holder:
- Elsevier B.V.
- Copyright date:
- Copyright 2005 Elsevier B.V. All rights reserved. Re-use of this article is permitted in accordance with the Terms and Conditions set out at http://www.elsevier.com/open-access/userlicense/1.0/ (accessed 21/02/2014).
Views and Downloads
If you are the owner of this record, you can report an update to it here: Report update to this record