engleski

Applications of the group configuration theorem in simple theories

We reconstruct the group action in the group configuration theorem. We apply it to show that in an \omega-categorical theory a finitely based pseudolinear regular type is locally modular, and the geometry associated to a finitely based locally modular regular type is projective geometry over a finite field.

Group configuration; simple theories; pseudolinearity; \omega-categoricity

nije evidentirano