Automorphism groups of generic structures

From MaRDI portal




Abstract: Suppose M is a countable ab-initio (uncollapsed) generic structure which is obtained from a pre-dimension function with rational coefficients. We show that if H is a subgroup of mboxAutleft(Might) with left[mboxAutleft(Might):Hight]<2aleph0, then there exists a finite set AsubseteqM such that mboxAutAleft(Might)subseteqH. This shows that mboxAutleft(Might) has the small index property.











This page was built for publication: Automorphism groups of generic structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2844716)