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

Journal of Symbolic Logic 27 (4):468-468 (1962)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2964554

Links

PhilArchive



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

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: Shoji Maehara, Gaisi Takeuti, A Formal System of First-Order Predicate Calculus with Infinitely Long Expressions. [REVIEW]Erwin Engeler - 1962 - Journal of Symbolic Logic 27 (4):468-468.
A Formal System of First-Order Predicate Calculus with Infinitely Long Expressions.Gaisi Takeuti - 1962 - Journal of Symbolic Logic 27 (4):468-468.
Two interpolation theorems for a π11 predicate calculus.Shoji Maehara & Gaisi Takeuti - 1971 - Journal of Symbolic Logic 36 (2):262 - 270.
Maehara Shôji. Gentzen's theorem on an extended predicate calculus. Proceedings of the Japan Academy, vol. 30 no. 10 , pp. 923–926. [REVIEW]Kurt Schütte - 1962 - Journal of Symbolic Logic 27 (1):109-109.
On Predicates with Constructive Infinitely Long Expressions.Gaisi Takeuti & Akiko Kino - 1965 - Journal of Symbolic Logic 30 (1):97-98.
Review: Gaisi Takeuti, Akiko Kino, On Predicates with Constructive Infinitely Long Expressions. [REVIEW]Thomas Frayne - 1965 - Journal of Symbolic Logic 30 (1):97-98.
Another Proof of Takeuti's Theorems on Skolem's Paradox.Erwin Engeler & Shoji Maehara - 1966 - Journal of Symbolic Logic 31 (4):659.
Maehara Shôji. General recursive functions in the number-theoretic formal system. Annals of the Japan Association for Philosophy of Science, vol. 1 no. 2 , pp. 119–130. [REVIEW]J. R. Shoenfield - 1962 - Journal of Symbolic Logic 27 (1):90-90.
Review: Shoji Maehara, The Predicate Calculus with $varepsilon$-Symbol. [REVIEW]Kurt Schütte - 1962 - Journal of Symbolic Logic 27 (1):109-109.
Review: Shoji Maehara, Gentzen's Theorem on an Extended Predicate Calculus. [REVIEW]Kurt Schütte - 1962 - Journal of Symbolic Logic 27 (1):109-109.
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. 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. 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. 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.

Analytics

Added to PP
2016-06-30

Downloads
26 (#609,328)

6 months
8 (#356,676)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Bemerkungen zu einem lemma Von E. Engeler und A. Robinson.Walter Felscher - 1964 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 10 (1):15-16.

Add more citations

References found in this work

No references found.

Add more references