- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
S 3 i andV 2 i (BD)
Archive for Mathematical Logic 29 (3):149-169 (1990)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
The continuity equation and the Hamiltonian formalism in quantum mechanics.L. Ferrari - 1987 - Foundations of Physics 17 (4):329-343.
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.
A formalization of the theory of ordinal numbers.Gaisi Takeuti - 1965 - Journal of Symbolic Logic 30 (3):295-317.
A transfer principle in harmonic analysis.Gaisi Takeuti - 1979 - Journal of Symbolic Logic 44 (3):417-440.
Gödel sentences of bounded arithmetic.Gaisi Takeuti - 2000 - Journal of Symbolic Logic 65 (3):1338-1346.
The critical number of a variable in a function.Gaisi Takeuti - 1994 - Journal of Symbolic Logic 59 (4):1228-1244.
The representation of Takeuti's *20c ||_ -operator.Roger M. Cooke & Michiel Lambalgen - 1983 - Studia Logica 42 (4):407 - 415.
Forcing on bounded arithmetic II.Gaisi Takeuti & Masahiro Yasumoto - 1998 - Journal of Symbolic Logic 63 (3):860-868.
Analytics
Added to PP
2013-12-01
Downloads
29 (#549,529)
6 months
8 (#356,676)
2013-12-01
Downloads
29 (#549,529)
6 months
8 (#356,676)
Historical graph of 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.
Separations of first and second order theories in bounded arithmetic.Masahiro Yasumoto - 2005 - Archive for Mathematical Logic 44 (6):685-688.
A second order version of S2i and U21.Gaisi Takeuti - 1991 - Journal of Symbolic Logic 56 (3):1038-1063.
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.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-64dd777598-zf4z4 uwo