Gaisi Takeuti and Akiko Kino. On hierarchies of predicates of ordinal numbers. Journal of the Mathematical Society of Japan, vol. 14 , pp. 199–232. - Akiko Kino and Gaisi Takeuti. A note on predicates of ordinal numbers. Journal of the Mathematical Society of Japan, vol. 14 , pp. 367–378 [Book Review]

Journal of Symbolic Logic 33 (2):293-294 (1968)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2269895

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,440

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

On Hierarchies of Predicates of ordinal Numbers.Gaisi Takeuti & Akiko Kino - 1968 - Journal of Symbolic Logic 33 (2):293-294.
Takeuti Gaisi. A formalization of the theory of ordinal numbers. Proceedings of the Symposium on the Foundations of Mathematics, held at Katada, Japan, 1962, Sponsored jointly by The Division of the Foundations of Mathematics of the Mathematical Society of Japan, The Sugaku Shinkokai, and The Toyo Spinning Company, Tokyo 1963, pp. 65–97.Takeuti Gaisi. A formalization of the theory of ordinal numbers. [REVIEW]Carol Karp - 1972 - Journal of Symbolic Logic 37 (1):192-193.
On Predicates with Constructive Infinitely Long Expressions.Gaisi Takeuti & Akiko Kino - 1965 - Journal of Symbolic Logic 30 (1):97-98.
Takeuti Gaisi. On the theory of ordinal numbers. Journal of the Mathematical Society of Japan, vol. 9 , pp. 93–113.Kurt Schütte - 1959 - Journal of Symbolic Logic 24 (1):67-67.
Takeuti Gaisi. On the recursive functions of ordinal numbers. Journal of the Mathematical Society of Japan, vol. 12 no. 2 , pp. 119–128. [REVIEW]Kurt Schütte - 1962 - Journal of Symbolic Logic 27 (1):88-88.
Takeuti Gaisi. A metamathematical theorem on the theory of ordinal numbers. Journal of the Mathematical Society of Japan, vol. 4 , pp. 146–165. [REVIEW]Kurt Schütte - 1959 - Journal of Symbolic Logic 24 (1):62-62.
Review: Gaisi Takeuti, Akiko Kino, On Predicates with Constructive Infinitely Long Expressions. [REVIEW]Thomas Frayne - 1965 - Journal of Symbolic Logic 30 (1):97-98.
Kino Akiko. A consistency-proof of a formal theory of Ackermann's ordinal numbers. Journal of the Mathematical Society of Japan, vol. 10 , pp. 287–303. [REVIEW]J. R. Guard - 1965 - Journal of Symbolic Logic 30 (3):392-392.
Takeuti Gaisi. Ordinal diagrams. Journal of the Mathematical Society of Japan, vol. 9 , pp. 386–394.Kurt Schütte - 1959 - Journal of Symbolic Logic 24 (1):64-65.
Kino Akiko. On ordinal diagrams. Journal of the Mathematical Society of Japan, vol. 13 , pp. 346–356.Hilbert Levitz - 1972 - Journal of Symbolic Logic 37 (1):192-192.
On the Theory of Ordinal Numbers.Gaisi Takeuti - 1959 - Journal of Symbolic Logic 24 (1):67-67.
A formalization of the theory of ordinal numbers.Gaisi Takeuti - 1965 - Journal of Symbolic Logic 30 (3):295-317.
A Metamathematical Theorem on the Theory of Ordinal Numbers.Gaisi Takeuti - 1959 - Journal of Symbolic Logic 24 (1):62-62.
Review: Gaisi Takeuti, On the Theory of Ordinal Numbers. [REVIEW]Kurt Schutte - 1959 - Journal of Symbolic Logic 24 (1):67-67.
Review: Gaisi Takeuti, On the Recursive Functions of Ordinal Numbers. [REVIEW]Kurt Schütte - 1962 - Journal of Symbolic Logic 27 (1):88-88.

Analytics

Added to PP
2013-11-22

Downloads
11 (#1,117,383)

6 months
1 (#1,506,218)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references