Permutations avoiding an increasing number of length-increasing forbidden subsequences.
By using polylogarithm series, we define “poly-Bernoulli numbers” which generalize classical Bernoulli numbers. We derive an explicit formula and a duality theorem for these numbers, together with a von Staudt-type theorem for di-Bernoulli numbers and another proof of a theorem of Vandiver.