Constructive assertions in an extension of classical mathematics

Journal of Symbolic Logic 47 (2):359-387 (1982)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273147

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

A constructive look at the completeness of the space $\mathcal{d} (\mathbb{r})$.Hajime Ishihara & Satoru Yoshida - 2002 - Journal of Symbolic Logic 67 (4):1511-1519.
Constructibility and mathematical existence.Charles S. Chihara - 1990 - New York: Oxford University Press.
Relationships between constructive, predicative and classical systems of analysis.Solomon Feferman - unknown
Varieties of constructive mathematics.D. S. Bridges - 1987 - New York: Cambridge University Press. Edited by Fred Richman.
Constructive mathematics in theory and programming practice.Douglas Bridges & Steeve Reeves - 1999 - Philosophia Mathematica 7 (1):65-104.
On the foundations of constructive mathematics – especially in relation to the theory of continuous functions.Frank Waaldijk - 2004 - Foundations of Science 10 (3):249-324.
Can constructive mathematics be applied in physics?Douglas S. Bridges - 1999 - Journal of Philosophical Logic 28 (5):439-453.
From sets and types to topology and analysis: towards practicable foundations for constructive mathematics.Laura Crosilla & Peter Schuster (eds.) - 2005 - New York: Oxford University Press.
Did Bishop have a philosophy of mathematics?Helen Billinge - 2003 - Philosophia Mathematica 11 (2):176-194.

Analytics

Added to PP
2009-01-28

Downloads
26 (#592,813)

6 months
7 (#425,192)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Intuitionistic analysis at the end of time.Joan Rand Moschovakis - 2017 - Bulletin of Symbolic Logic 23 (3):279-295.

Add more citations

References found in this work

Introduction to Metamathematics.H. Rasiowa - 1954 - Journal of Symbolic Logic 19 (3):215-216.
Foundations of Constructive Analysis.John Myhill - 1972 - Journal of Symbolic Logic 37 (4):744-747.
Theory of Recursive Functions and Effective Computability.Hartley Rogers - 1971 - Journal of Symbolic Logic 36 (1):141-146.
Handbook of Mathematical Logic.Akihiro Kanamori - 1984 - Journal of Symbolic Logic 49 (3):971-975.
Introduction to mathematical logic, vol. I.A. Church - 1958 - Revue Philosophique de la France Et de l'Etranger 148:118-119.

View all 6 references / Add more references