A simple inductive argument to compute more Kleinberg sequences under the Axiom of Determinacy
| Authors |
|
|---|---|
| Publication date | 2004 |
| Series | ILLC Publications, PP-2004-22 |
| Publisher | Amsterdam: Institute for Logic, Language and Computation |
| Organisations |
|
| Document type | Working paper |
| Permalink to this page | |