|
|
|
|
oligomorphic permutation group
|
(Definition)
|
|
|
A permutation group acting on a countably infinite set is called oligomorphic, if it has finitely many orbits of  -tuples, for all  .
Ryll-Nardzewski, Engeler, and Svenonius proved that a countably infinite first-order structure has an oligomorphic automorphism group if and only if the structure is  -categorical.
|
"oligomorphic permutation group" is owned by amador.
|
|
(view preamble)
Cross-references: structure, orbits, countably infinite, permutation group
There is 1 reference to this entry.
This is version 3 of oligomorphic permutation group, born on 2005-05-12, modified 2005-05-12.
Object id is 7044, canonical name is OligomorphicPermutationGroup.
Accessed 1388 times total.
Classification:
| AMS MSC: | 03C35 (Mathematical logic and foundations :: Model theory :: Categoricity and completeness of theories) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|
