Relative constructivity

Journal of Symbolic Logic 63 (4):1218-1238 (1998)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2586648

Links

PhilArchive



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

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

From relative confirmation to real confirmation.Aron Edidin - 1988 - Philosophy of Science 55 (2):265-271.
Constructivity--a defence and an attack.A. J. Dale - 1974 - Mind 83 (330):263-268.
Constructivity in mathematics.A. Heyting (ed.) - 1959 - Amsterdam,: North-Holland Pub. Co..
Constructivity and the referential/attributive distinction.D. E. Over - 1985 - Linguistics and Philosophy 8 (4):415 - 429.
Constructivity in computer science: A summer symposium.J. Paul Myers - 1993 - Journal of Symbolic Logic 58 (3):1097.
Appositive and parenthetical relative clauses.Tim Stowell - unknown
Review: Ulrich Kohlenbach, Relative Constructivity. [REVIEW]Ulrich Berger - 2002 - Bulletin of Symbolic Logic 8 (3):436-437.

Analytics

Added to PP
2009-01-28

Downloads
190 (#100,896)

6 months
9 (#298,039)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Bounded functional interpretation.Fernando Ferreira & Paulo Oliva - 2005 - Annals of Pure and Applied Logic 135 (1):73-112.
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.

View all 10 citations / Add more citations

References found in this work

Constructivism in mathematics: an introduction.A. S. Troelstra - 1988 - New York, N.Y.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.. Edited by D. van Dalen.
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.

View all 12 references / Add more references