Finite Structures with Few Types

I will report on joint work with G. Cherlin on the quasi-finite axiomatizability of smoothly approximable structures, and on finite structures with few types. Let L be a finite language, k an integer, and C(L, k) be the class of finite L-structures with at most k 5-types, The large members of C(L, k) with no nontrivial 0-definable equivalence relation are known to be bi-interpretable with (finite unions of) certain classical geometries. (Work of Cherlin-Lachlan, Kantor-Liebeck-Macpherson.) A dimension of an L-structure M is the dimension of a geometry interpretable in M, such that every automorphism of the geometry lifts to an automorphism of M (with some other conditions.) C(L, k) can be naturally (and effectively) divided into a finite number of families C ϕ (L, k). Within each C ϕ , a finite number of dimensions is identified; every first order statement is equivalent to a Boolean combination of statements asserting that a given dimension is finite (and fixed). In particular, the isomorphism type of a structure in F i is determined by its dimensions. These dimensions can be varied essentially independently. This generalizes Lachlan’s theory of shrinking and stretching homogeneous structures for a finite relational language. The proof involves methods of stability theory (geometries, orthogonality, modularity, stable groups) applied in this unstable context.

[1]  G. Schlichting,et al.  Operationen mit periodischen Stabilisatoren , 1980 .

[2]  Alistair H. Lachlan,et al.  Shrinking, stretching, and codes for homogeneous structures , 1987 .

[3]  P. Cameron FINITE PERMUTATION GROUPS AND FINITE SIMPLE GROUPS , 1981 .

[4]  Anand Pillay,et al.  Closed Sets and Chain Conditions in Stable Theories , 1984, J. Symb. Log..

[5]  Steven Buechler ESSENTIAL STABILITY THEORY (Perspectives in Mathematical Logic) , .

[6]  Robert E. Woodrow,et al.  Finite and Infinite Combinatorics in Sets and Logic , 1993 .

[7]  A. Lachlan Two conjectures regarding the stability of ω-categorical theories , 1974 .

[8]  J. Conway,et al.  Atlas of finite groups : maximal subgroups and ordinary characters for simple groups , 1987 .

[9]  A. Lachlan On countable stable structures which are homogeneous for a finite relational language , 1984 .

[10]  Brian Parshall,et al.  ON THE 1-COHOMOLOGY OF FINITE GROUPS OF LIE TYPE , 1976 .

[11]  Alistair H. Lachlan,et al.  ℵ 0 -Categorical, ℵ 0 -stable structures , 1985 .

[12]  Anand Pillay,et al.  Weakly normal groups , 1985, Logic Colloquium.

[13]  William M. Kantor,et al.  ℵ0‐Categorical Structures Smoothly Approximated by Finite Substructures , 1989 .

[14]  Martin Ziegler,et al.  Quasi finitely axiomatizable totally categorical theories , 1986, Ann. Pure Appl. Log..

[15]  D. G. Higman Intersection matrices for finite permutation groups , 1967 .

[16]  P. Cameron,et al.  Oligomorphic permutation groups , 1990 .

[17]  A. Lachlan,et al.  Stable finitely homogeneous structures , 1986 .

[18]  I. G. MacDonald,et al.  Lectures on Lie Groups and Lie Algebras: Simple groups of Lie type , 1995 .

[19]  Eugene M. Luks Isomorphism of Graphs of Bounded Valence Can Be Tested in Polynomial Time , 1980, FOCS.

[20]  Hendrik W. Lenstra,et al.  Subgroups close to normal subgroups , 1989 .

[21]  David M. Evans,et al.  The small index property for infinite dimensional classical groups , 1991 .

[22]  Saharon Shelah,et al.  Simple unstable theories , 1980 .

[23]  Dugald Macpherson,et al.  Interpreting groups in ω-categorical structures , 1991, Journal of Symbolic Logic.

[24]  Martin Ziegler,et al.  What's so special about (Z/4Z)ω? , 1991, Arch. Math. Log..

[25]  Ehud Hrushovski,et al.  On the Automorphism Groups of Finite Covers , 1993, Ann. Pure Appl. Log..

[26]  E. Witt,et al.  Theorie der quadratischen Formen in beliebigen Körpern. , 1937 .

[27]  W. Hodges,et al.  Cohomology of Structures and Some Problems of Ahlbrandt and Ziegler , 1994 .

[28]  Peter J. Cameron,et al.  2-Transitive and antiflag transitive collineation groups of finite projective spaces , 1979 .