- 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
Relative constructivity
Journal of Symbolic Logic 63 (4):1218-1238 (1998)
Abstract
This article has no associated abstract. (fix it)Other Versions
| reprint | Kohlenbach, Ulrich (2002) "Relative Constructivity". Bulletin of Symbolic Logic 8(3):436-437 |
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Review: Ulrich Kohlenbach, Relative Constructivity. [REVIEW]Ulrich Berger - 2002 - Bulletin of Symbolic Logic 8 (3):436-437.
Ulrich Kohlenbach. Relative constructivity. The journal of symbolic logic, vol. 63 , pp. 1218–1238.Ulrich Berger - 2002 - Bulletin of Symbolic Logic 8 (3):436-437.
Review: John Tucker, Constructivity and Grammar. [REVIEW]J. F. Thomson - 1963 - Journal of Symbolic Logic 28 (1):107-109.
Reviewed Work: Frege on Absolute and Relative Truth. An Introduction to the Practice of Interpreting Philosophical Texts, History of Analytic Philosophy by Ulrich Pardey. [REVIEW]Review by: Bernd Buldt - 2014 - Bulletin of Symbolic Logic 20 (3):360-362,.
Analytics
Added to PP
2009-01-28
Downloads
210 (#120,923)
6 months
8 (#594,873)
2009-01-28
Downloads
210 (#120,923)
6 months
8 (#594,873)
Historical graph of downloads
Citations of this work
Bounded functional interpretation.Fernando Ferreira & Paulo Oliva - 2005 - Annals of Pure and Applied Logic 135 (1):73-112.
The FAN principle and weak König's lemma in herbrandized second-order arithmetic.Fernando Ferreira - 2020 - Annals of Pure and Applied Logic 171 (9):102843.
Unifying Functional Interpretations.Paulo Oliva - 2006 - Notre Dame Journal of Formal Logic 47 (2):263-290.
On uniform weak König's lemma.Ulrich Kohlenbach - 2002 - Annals of Pure and Applied Logic 114 (1-3):103-116.
Strongly uniform bounds from semi-constructive proofs.Philipp Gerhardy & Ulrich Kohlenbach - 2006 - Annals of Pure and Applied Logic 141 (1):89-107.
References found in this work
Constructivism in Mathematics: An Introduction.A. S. Troelstra & Dirk Van Dalen - 1988 - Amsterdam: North Holland. Edited by D. van Dalen.
Metamathematical investigation of intuitionistic arithmetic and analysis.Anne S. Troelstra - 1973 - New York,: Springer.
Über eine bisher noch nicht benützte erweiterung Des finiten standpunktes.Von Kurt Gödel - 1958 - Dialectica 12 (3‐4):280-287.
Constructivism in Mathematics, An Introduction.A. Troelstra & D. Van Dalen - 1991 - Tijdschrift Voor Filosofie 53 (3):569-570.
On weak completeness of intuitionistic predicate logic.G. Kreisel - 1962 - Journal of Symbolic Logic 27 (2):139-158.
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-667477cd97-lxkd2 dc2