Normalfunktionen und Konstruktive Systeme von Ordinalzahlen
暂无分享,去创建一个
[1] Kurt Schütte,et al. Einführung der NormalfunktionenΘa ohne Auswahlaxiom und ohne Regularitätsbedingungohne Auswahlaxiom und ohne Regularitätsbedingung , 1975, Archive for Mathematical Logic.
[2] Helmut Pfeiffer,et al. Ein Bezeichnungssystem für Ordinalzahlen , 1969 .
[3] Gaisi Takeuti,et al. Ordinal Diagrams II. , 1960 .
[4] Kurt Schütte,et al. Die Beziehungen Zwischen den OrdinalzahlsystemenΣ Und $$\bar \Theta \left( \omega \right)$$ , 1975, Arch. Math. Log..
[5] K. Schütte,et al. A characterization of Takeuti's ordinal diagrams of finite order , 1971 .
[6] K. Schütte. Ein konstruktives system von Ordinalzahlen , 1968 .
[7] Akiko Kino,et al. On ordinal diagrams , 1961 .
[8] Kurt Schütte,et al. Kennzeichnung von Ordnungszahlen durch rekursiv erklärte Funktionen , 1954 .
[9] D. Isles,et al. Regular Ordinals and Normal Forms , 1970 .