diff options
| author | David A. Madore <david+git@madore.org> | 2013-02-20 16:19:27 +0100 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2013-02-20 16:19:27 +0100 |
| commit | 741c8fc0752470f7314a2b39ca7bfbd38e9e59e3 (patch) | |
| tree | 0de34bc203d4d1c06165c993c0209820a9683e54 /vc | |
| parent | 89e97a96a106c846159b31d2236253f0a016b1aa (diff) | |
| download | ordinal-zoo-741c8fc0752470f7314a2b39ca7bfbd38e9e59e3.tar.gz ordinal-zoo-741c8fc0752470f7314a2b39ca7bfbd38e9e59e3.tar.bz2 ordinal-zoo-741c8fc0752470f7314a2b39ca7bfbd38e9e59e3.zip | |
Reference Avigad's paper for ordinals closed under primitive recursive functions.
Diffstat (limited to 'vc')
0 files changed, 0 insertions, 0 deletions