A simple inductive argument to compute more Kleinberg sequences under the Axiom of Determinacy
Stefan Bold, Benedikt Löwe
Abstract:
A characteristic feature of infinitary combinatorics under the Axiom
of Determinacy is the existence of sequences of partition cardinals,
called Kleinberg sequences. It is well known that there are lots of
Kleinberg sequences below aleph-(epsilon-0), but the exact values of
their elements is still unknown. In this note, we give a simple
inductive argument that allows to compute the Kleinberg sequences
corresponding to the (omega-1)-cofinal measures on the odd projective
ordinals without doing any detailed ultrapower analyses.