RSUV isomorphisms for TAC i , TNC i and TLS

Archive for Mathematical Logic 33 (6):427-453 (1995)
  Copy   BIBTEX

Abstract

We investigate the second order bounded arithmetical systems which is isomorphic to TAC i , TNC i or TLS

Categories

Keywords

Reprint years

DOI

10.1007/bf02390458

Links

PhilArchive



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

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

Reducts of the Random Bipartite Graph.Yun Lu - 2013 - Notre Dame Journal of Formal Logic 54 (1):33-46.
Computable Isomorphisms of Boolean Algebras with Operators.Bakhadyr Khoussainov & Tomasz Kowalski - 2012 - Studia Logica 100 (3):481-496.
Second-order type isomorphisms through game semantics.Joachim de Lataillade - 2008 - Annals of Pure and Applied Logic 151 (2-3):115-150.
Cartesian isomorphisms are symmetric monoidal: A justification of linear logic.Kosta Došen & Zoran Petrić - 1999 - Journal of Symbolic Logic 64 (1):227-242.
Isomorphisms and nonisomorphisms of graph models.Harold Schellinx - 1991 - Journal of Symbolic Logic 56 (1):227-249.
Isomorphisms of splits of computably enumerable sets.Peter A. Cholak & Leo A. Harrington - 2003 - Journal of Symbolic Logic 68 (3):1044-1064.
Isomorphisms of Diagonalizable Algebras.V. Yu Shavrukov - 1997 - Theoria 63 (3):210-221.
Linguistic isomorphisms.Thomas Storer - 1952 - Philosophy of Science 19 (1):77-85.
Stmctural similarity within and among languages.Edward P. Stabler & Edward L. Keenan - unknown
A Quantifier for Isomorphisms.J. Ouko Väänänen - 1980 - Mathematical Logic Quarterly 26 (7‐9):123-130.
Rich co-ordinals, addition isomorphisms, and rets.Alfred B. Manaster - 1969 - Journal of Symbolic Logic 34 (1):45-52.
Isomorphisms of $\omega$-groups.Charles H. Applebaum - 1971 - Notre Dame Journal of Formal Logic 12 (2):238-248.
Partial Isomorphisms and Infinitary Languages.Jean-Pierre Calais - 1972 - Mathematical Logic Quarterly 18 (25‐30):435-456.
The bounded proper forcing axiom.Martin Goldstern & Saharon Shelah - 1995 - Journal of Symbolic Logic 60 (1):58-73.

Analytics

Added to PP
2013-11-23

Downloads
18 (#808,169)

6 months
5 (#652,053)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Frege proof system and TNC°.Gaisi Takeuti - 1998 - Journal of Symbolic Logic 63 (2):709 - 738.
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.
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

Proof theory.Gaisi Takeuti - 1975 - New York, N.Y., U.S.A.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co..
Proof Theory.Gaisi Takeuti - 1990 - Studia Logica 49 (1):160-161.
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 for NC, ALogTIME, L and NL.P. Clote & G. Takeuti - 1992 - Annals of Pure and Applied Logic 56 (1-3):73-117.

View all 9 references / Add more references