Takeuti Gaisi. On Skolem's theorem. Journal of the Mathematical Society of Japan, vol. 9 , pp. 71–76

Journal of Symbolic Logic 24 (1):66-66 (1959)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2964598

Links

PhilArchive



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

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

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, On Skolem's Theorem. [REVIEW]Kurt Schutte - 1959 - Journal of Symbolic Logic 24 (1):66-66.
Review: Gaisi Takeuti, Remark on my Paper: On Skolem's Theorem. [REVIEW]Kurt Schütte - 1959 - Journal of Symbolic Logic 24 (1):66-66.
Takeuti Gaisi. An example on the fundamental conjecture of GLC. Journal of the Mathematical Society of Japan, vol. 12 , pp. 238–242. [REVIEW]Kurt Schütte - 1963 - Journal of Symbolic Logic 28 (2):173-173.
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 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.
Remark on my Paper: On Skolem's Theorem.Gaisi Takeuti - 1959 - Journal of Symbolic Logic 24 (1):66-66.
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.
Takeuti Gaisi. Remarks on the truth definition. Journal of the Mathematical Society of Japan, vol. 13 , pp. 207–209.Gebhard Fuhrken - 1962 - Journal of Symbolic Logic 27 (1):110-110.
Maehara Shôji and Takeuti Gaisi. A formal system of first-order predicate calculus with infinitely long expressions. Journal of the Mathematical Society of Japan, vol. 13 , pp. 357–370. [REVIEW]Erwin Engeler - 1962 - Journal of Symbolic Logic 27 (4):468-468.
Review: Gaisi Takeuti, A Metamathematical Theorem on Functions. [REVIEW]Kurt Schütte - 1959 - Journal of Symbolic Logic 24 (1):65-66.
Review: Gaisi Takeuti, A Metamathematical Theorem on the Theory of Ordinal Numbers. [REVIEW]Kurt Schütte - 1959 - Journal of Symbolic Logic 24 (1):62-62.
Takeuti Gaisi. On the formal theory of the ordinal diagrams. Annals of the Japan Association for Philosophy of Science, vol. 1 no. 3 , pp. 151–170. [REVIEW]Kurt Schütte - 1959 - Journal of Symbolic Logic 24 (1):65-65.
Takeuti Gaisi. Construction of ramified real numbers. Annals of the Japan Association for Philosophy of Science, Bd. 1 Heft 1 , S. 41–61. [REVIEW]Kurt Schütte - 1957 - Journal of Symbolic Logic 22 (4):352-352.

Analytics

Added to PP
2016-06-30

Downloads
27 (#554,860)

6 months
5 (#526,961)

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