Key points are not available for this paper at this time.
Let G be a finite permutation group acting on a set. An ordered sequence (₁, , _) of elements of is an irredundant base for G if the pointwise stabilizer of the sequence is trivial and no point is fixed by the stabilizer of its predecessors. We show that any interval of natural numbers can be realized as the set of cardinalities of irredundant bases for some finite primitive group.
Fabio Mastrogiacomo (Tue,) studied this question.