Shôji Maehara. Another proof of Takeuti's theorems on Skolem's paradox. Journal of the Faculty of Science, University of Tokyo, section I, vol. 7 part 5 , pp. 541–556 [Book Review]

Journal of Symbolic Logic 31 (4):659-659 (1966)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

1997

DOI

10.2307/2269723

Links

PhilArchive



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

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

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. Equality axiom on Hubert's ε-symbol. Journal of the Faculty of Science, University of Tokyo, Sec. I, vol. 7 , pp. 419–435. [REVIEW]Kurt Schütte - 1962 - Journal of Symbolic Logic 27 (1):109-110.
Two interpolation theorems for a π11 predicate calculus.Shoji Maehara & Gaisi Takeuti - 1971 - Journal of Symbolic Logic 36 (2):262 - 270.
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.
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.
Shôji Maehara. Remark on Skolem's theorem concerning the impossibility of characterization of the natural number sequence. Proceedings of the Japan Academy, vol. 33 , pp. 588–590.Erwin Engeler - 1966 - Journal of Symbolic Logic 31 (4):659.
Ono Katudi. Logische Untersuchungen über die Grundlagen der Mathematik. Journal of the Faculty of Science, Imperial University of Tokyo, section I, vol. 3 part 7 , pp. 329–389. [REVIEW]Saunders MacLane - 1939 - Journal of Symbolic Logic 4 (2):89-90.
Hosoi Tsutomu. The separation theorem on the classical system. Journal of the Faculty of Science, University of Tokyo, section I, Mathematics, astronomy, physics, chemistry, vol. 12 part 2 , pp. 223–230. [REVIEW]T. Thacher Robinson - 1968 - Journal of Symbolic Logic 33 (1):128-128.
Ikuo kabashima faculty of law, tokyo university, e-mail: Kabashima@ ju-tokyo. Ac. jp Steven R. Reed faculty of policy studies, chuo university, e-mail: SReed@ fps. Chuo-u. Ac. jp. [REVIEW]Changing Coalitions - 2000 - Japanese Journal of Political Science 1 (2):229-248.
On intermediate Logics I.Tsutomo Hosoi - 1967 - Journal of the Faculty of Sciences, University of Tokyo Section 1 14:293--312.
The separation theorem on the classical system.Tsutomo Hosoi - 1966 - Journal of the Faculty of Sciences, University of Tokyo Section 1 12:223--230.
Rosser-Type Undecidable Sentences Based on Yablo’s Paradox.Taishi Kurahashi - 2014 - Journal of Philosophical Logic 43 (5):999-1017.
The axiomatization of the intermediate propositional systems S2 of Godel.Tsutomo Hosoi - 1966 - Journal of the Faculty of Sciences, University of Tokyo Section 1 13:183--187.
The Mathematics of Skolem's Paradox.Timothy Bays - 2006 - In Dale Jacquette (ed.), Philosophy of Logic. North Holland. pp. 615--648.
Reflections on Skolem's Paradox.Timothy Bays - 2000 - Dissertation, University of California, Los Angeles

Analytics

Added to PP
2014-03-30

Downloads
35 (#433,400)

6 months
9 (#250,037)

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