個人的にまとめたものです。

アッカーマン関数の２重リストへの拡張、
多変数C1の収束列の定義、
などを含みます。
そのうち計算可能でないものも足します。

http://1rg.org/up/55364.txt.html