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 [Book Review]

Journal of Symbolic Logic 30 (3):392-392 (1965)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2269672

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,891

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

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. [REVIEW]Wayne Richter - 1968 - Journal of Symbolic Logic 33 (2):293-294.
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.
A Consistency-Proof of a Formal Theory of Ackermann's Ordinal Numbers.Akiko Kino - 1965 - Journal of Symbolic Logic 30 (3):392-392.
Gaisi Takeuti and Akiko Kino. On predicates with constructive infinitely long expressions. Journal of the Mathematical Society of Japan, vol. 15 , pp. 176–190. [REVIEW]Thomas Frayne - 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. 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.
Akiko Kino. On definability of ordinals in logic with infinitely long expressions. The journal of symbolic logic, vol. 31 , pp. 365–375. - Akiko Kino. Correction to a paper on definability of ordinals in infinite logic. The journal of symbolic logic, vol. 32 , pp. 343–344.Carol Karp - 1970 - Journal of Symbolic Logic 35 (2):341.
Kino Akiko. A note on constructive ordinals. Annals of the Japan Association for Philosophy of Science, vol. 2 no. 4 , pp. 189–198. [REVIEW]Wayne Richter - 1968 - Journal of Symbolic Logic 33 (2):294-295.
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.
Review: Akiko Kino, On Ordinal Diagrams. [REVIEW]Hilbert Levitz - 1972 - Journal of Symbolic Logic 37 (1):192-192.

Analytics

Added to PP
2013-11-22

Downloads
12 (#1,092,892)

6 months
1 (#1,722,086)

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