Relative Constructivity

Bulletin of Symbolic Logic 8 (3):436-437 (2002)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/3062215

Links

PhilArchive



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

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

Relative constructivity.Ulrich Kohlenbach - 1998 - Journal of Symbolic Logic 63 (4):1218-1238.
Relative Constructivity.Ulrich Kohlenbach - 1998 - Journal of Symbolic Logic 63 (4):1218-1238.
Review: Ulrich Kohlenbach, Relative Constructivity. [REVIEW]Ulrich Berger - 2002 - Bulletin of Symbolic Logic 8 (3):436-437.
Relative constructivity. [REVIEW]Ulrich Berger - 2002 - Bulletin of Symbolic Logic 8 (3):436-436.
Exploiting partial constructivity relatively to non–constructive lemmas in given proofs.U. Kohlenbach - 1995 - Bulletin of Symbolic Logic 1:243-244.
Lieber Herr Bernays!, Lieber Herr Gödel! Gödel on finitism, constructivity and Hilbert's program.Solomon Feferman - 2008 - Dialectica 62 (2):179-203.
Rekursivität und konstruktivität.R. Ö. Z. S. A. Pfiter - 1959 - In A. Heyting (ed.), Constructivity in mathematics. Amsterdam,: North-Holland Pub. Co.. pp. 226.
Constructivity in mathematics.A. Heyting (ed.) - 1959 - Amsterdam,: North-Holland Pub. Co..
Constructivity--a defence and an attack.A. J. Dale - 1974 - Mind 83 (330):263-268.
Recursive analysis.Rl Goodsteest - 1959 - In A. Heyting (ed.), Constructivity in mathematics. Amsterdam,: North-Holland Pub. Co.. pp. 37.
Constructivity in Mathematics.Paul Lorenzen - 1981 - Epistemologia 4 (1):205.
Different Notions of Constructivity — their Ontology.Amitabha Ghose - 1978 - Dialectica 32 (3‐4):245-253.
Heytingsche prädikatenkalkul und metrische räume 251.X. Xxx - 1959 - In A. Heyting (ed.), Constructivity in mathematics. Amsterdam,: North-Holland Pub. Co.. pp. 24--250.
Constructivity and the referential/attributive distinction.D. E. Over - 1985 - Linguistics and Philosophy 8 (4):415 - 429.
III—Constructivity and Grammar.John Tucker - 1963 - Proceedings of the Aristotelian Society 63 (1):45-66.

Analytics

Added to PP
2017-02-22

Downloads
5 (#1,540,420)

6 months
1 (#1,471,540)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references