S 3 i andV 2 i

Archive for Mathematical Logic 29 (3):149-169 (1990)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,593

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

S 3 i andV 2 i (BD).Gaisi Takeuti - 1990 - Archive for Mathematical Logic 29 (3):149-169.
Joins of minimal quasivarieties.M. E. Adams & W. Dziobiak - 1995 - Studia Logica 54 (3):371 - 389.
The universe of set theory.Gaisi Takeuti - 1969 - In Kurt Gödel, Jack J. Bulloff, Thomas C. Holyoke & Samuel Wilfred Hahn (eds.), Foundations of Mathematics. New York: Springer. pp. 74--128.
Proof Theory.Gaisi Takeuti - 1990 - Studia Logica 49 (1):160-161.
Transcendence of cardinals.Gaisi Takeuti - 1965 - Journal of Symbolic Logic 30 (1):1-7.
Jan Krajíèek.Gaisi Takeuti - 1991 - Annals of Pure and Applied Logic 52:143-153.
Ordinal Diagrams.Gaisi Takeuti - 1959 - Journal of Symbolic Logic 24 (1):64-65.
A Second Order Version of S i 2 and U 1 2.Gaisi Takeuti - 1991 - Journal of Symbolic Logic 56 (3):1038.
Ordinal Diagrams II.Gaisi Takeuti - 1964 - Journal of Symbolic Logic 29 (3):146-147.
On the Fundamental Conjecture of GLC.Gaisi Takeuti - 1959 - Journal of Symbolic Logic 24 (1):62-64.
Axioms of Infinity of Set Theory.Gaisi Takeuti - 1962 - Journal of Symbolic Logic 27 (3):354-355.
Grzegorcyk's hierarchy and IepΣ1.Gaisi Takeuti - 1994 - Journal of Symbolic Logic 59 (4):1274-1284.
Incompleteness Theorems and S i 2 versus S i+1 2.Gaisi Takeuti - 2002 - Bulletin of Symbolic Logic 8 (3):433-435.
On the Theory of Ordinal Numbers.Gaisi Takeuti - 1959 - Journal of Symbolic Logic 24 (1):67-67.

Analytics

Added to PP
2019-02-18

Downloads
2 (#1,634,744)

6 months
1 (#1,040,386)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

RSUV isomorphisms for TAC i , TNC i and TLS.G. Takeuti - 1995 - Archive for Mathematical Logic 33 (6):427-453.
A second order version of S2i and U21.Gaisi Takeuti - 1991 - Journal of Symbolic Logic 56 (3):1038-1063.
Frege Proof System and TNC$^circ$.Gaisi Takeuti - 1998 - Journal of Symbolic Logic 63 (2):709-738.

Add more citations

References found in this work

On the scheme of induction for bounded arithmetic formulas.A. J. Wilkie & J. B. Paris - 1987 - Annals of Pure and Applied Logic 35 (C):261-302.
Bounded arithmetic and truth definition.Gaisi Takeuti - 1988 - Annals of Pure and Applied Logic 39 (1):75-104.

Add more references