PP-2004-22: Stefan Bold, Benedikt Löwe A simple inductive argument to compute more Kleinberg sequences under the Axiom of Determinacy 1.Full Text, 2.Abstract. < Back
