oligomorphic permutation group
A permutation group![]()
acting on a countablyinfinite
![]()
set is called oligomorphic,if it has finitely many orbits of -tuples,for all .
Ryll-Nardzewski, Engeler, and Svenonius proved thata countably infinite first-order structure![]()
has an oligomorphicautomorphism group if and only if the structure is-categorical.