Grzegorcyk's hierarchy and IepΣ1

Journal of Symbolic Logic 59 (4):1274-1284 (1994)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2275705

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,934

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

Review: Gaisi Takeuti, On the Inductive Definition with Quantifiers of Second Order. [REVIEW]Kurt Schutte - 1964 - Journal of Symbolic Logic 29 (3):147-147.
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.
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.
Takeuti Gaisi. Axioms of infinity of set theory. Journal of the Mathematical Society of Japan, vol. 13 , pp. 220–233.J. C. Shepherdson - 1962 - Journal of Symbolic Logic 27 (3):354-355.
Gaisi Takeuti. On the fundamental conjecture of GLC. VI. Proceedings of the Japan Academy, vol. 37 , pp. 440–443.Kurt Schütte - 1964 - Journal of Symbolic Logic 29 (3):147.
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.
Takeuti Gaisi. On Skolem's theorem. Journal of the Mathematical Society of Japan, vol. 9 , pp. 71–76.Kurt Schütte - 1959 - Journal of Symbolic Logic 24 (1):66-66.
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.
Gaisi Takeuti. Ordinal diagrams II. Journal of the Mathematical Society of Japan, vol. 12 , pp. 385–391.Kurt Schütte - 1964 - Journal of Symbolic Logic 29 (3):146-147.

Analytics

Added to PP
2009-01-28

Downloads
44 (#513,926)

6 months
7 (#761,022)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The Trend of Logic and Foundation of Mathematics in Japan in 1991 to 1996.Yuzuru Kakuda, Kanji Namba & Nobuyoshi Motohashi - 1997 - Annals of the Japan Association for Philosophy of Science 9 (2):95-110.

Add more citations

References found in this work

Proof Theory.Gaisi Takeuti - 1990 - Studia Logica 49 (1):160-161.
Existence and feasibility in arithmetic.Rohit Parikh - 1971 - Journal of Symbolic Logic 36 (3):494-508.

Add more references