On the Continuity of Constructive Functions

Journal of Symbolic Logic 21 (3):319-320 (1956)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2269126

Links

PhilArchive



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

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

Sequential, pointwise, and uniform continuity: A constructive note.Douglas S. Bridges - 1993 - Mathematical Logic Quarterly 39 (1):55-61.
Absolute Continuity and the Uniqueness of the Constructive Functional Calculus.Douglas Bridges & Hajime Ishihara - 1994 - Mathematical Logic Quarterly 40 (4):519-527.
On Maximal Continuity Regulators for Constructive Functions.A. O. Slisenko - 1969 - In Studies in constructive mathematics and mathematical logic. New York,: Consultants Bureau. pp. 82--84.
Review: A. A. Markov, On the Continuity of Constructive Functions. [REVIEW]Andrzej Ehrenfeucht - 1956 - Journal of Symbolic Logic 21 (3):319-320.
Sequential Continuity of Functions in Constructive Analysis.Douglas Bridges & Ayan Mahalanobis - 2000 - Mathematical Logic Quarterly 46 (1):139-143.
Characterising Near Continuity Constructively.Douglas Bridges & Luminiţa Vîţă - 2001 - Mathematical Logic Quarterly 47 (4):535-538.
Glueing continuous functions constructively.Douglas S. Bridges & Iris Loeb - 2010 - Archive for Mathematical Logic 49 (5):603-616.
Weak continuity properties in constructive analysis.D. Bridges & L. Dediu - 1999 - Logic Journal of the IGPL 7 (3):277-281.
Two constructive embedding‐extension theorems with applications to continuity principles and to Banach‐Mazur computability.Andrej Bauer & Alex Simpson - 2004 - Mathematical Logic Quarterly 50 (4‐5):351-369.
The anti-Specker property, a Heine–Borel property, and uniform continuity.Josef Berger & Douglas Bridges - 2008 - Archive for Mathematical Logic 46 (7-8):583-592.
Continuity properties in constructive mathematics.Hajime Ishihara - 1992 - Journal of Symbolic Logic 57 (2):557-565.
Classical and constructive hierarchies in extended intuitionistic analysis.Joan Rand Moschovakis - 2003 - Journal of Symbolic Logic 68 (3):1015-1043.
Five papers on logic and foundations.G. S. Ceitin (ed.) - 1971 - Providence, R.I.,: American Mathematical Society.
Exact calculation of inverse functions.Josef Berger - 2005 - Mathematical Logic Quarterly 51 (2):201-205.
On constructive functions ranging over propositions.H. Luckhardt - 1980 - Studia Logica 39 (4):371 - 374.

Analytics

Added to PP
2015-02-05

Downloads
5 (#1,534,828)

6 months
1 (#1,461,875)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A Real Number Structure that is Effectively Categorical.Peter Hertling - 1999 - Mathematical Logic Quarterly 45 (2):147-182.

Add more citations

References found in this work

No references found.

Add more references