Many (omega)-categorical Structures Have the Small Index Property

Details Many (omega)-categorical Structures Have the Small Index Property Many (omega)-categorical Structures Have the Small Index Property

1995-02-14

arxiv.org/abs/math/9502206v1

Mathematics

Logic

Scientific paper

A class K of finite structures is said to have the extension property for automorphisms (EP) if for every A in K there exists an extension B in K such that every partial isomorphism on the structure A extends to an automorphism of B. Hrushovski proved EP for the class of all finite graphs. The main problem is to keep B finite. Hodges, Hodkinson, Lascar and Shelah showed in their paper that in certain cases the EP for the class K implies the Small Index Property (SIP) for the "generic" countable structure determined by K. E.g. Hrushovskis result yields the SIP for the random graph. In this preprint we prove the EP for the class of all finite K_n - free graphs (i.e. graphs with no complete subgraph of given size n), which implies SIP for the generic K_n - free graph. Also we prove EP for a certain family of classes of directed graphs, which implies SIP for the "Henson digraphs". This is a family of continuum many non isomorphic countable directed omega-categorical graphs. Finally we state EP for a more general family of classes, which covers all the cases mentioned above.

Affiliated with

Also associated with

No associations

Rating

Many (omega)-categorical Structures Have the Small Index Property does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Many (omega)-categorical Structures Have the Small Index Property, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Many (omega)-categorical Structures Have the Small Index Property will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-106372