论文信息 - On ordinal diagrams - 字舞流文

On ordinal diagrams

Akiko Kino | Akiko Kino

[1] Gaisi Takeuti. On the inductive definition with quantifiers of second order , 1961 .

[2] Gaisi Takeuti,et al. Ordinal Diagrams II. , 1960 .

[3] R. Peter,et al. Gentzen Gerhard. Neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie. Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften, neue Folge, Heft 4, S. 19–44. S. Hirzel, Leipzig 1938. , 1939, Journal of Symbolic Logic.

[4] G. Takeuti. On the Formal Theory of the Ordinal Diagrams , 1958 .