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.