ON HOMOGENEOUS EXTENSIONS OF FINITE PREDICATE SYSTEMS

摘要

It is shown that any finite n-element predicate system for which any two one-element subsystems are isomorphic is embeddable in a finite (2~n-1)-element system having a transitive automorphism group.