Review: N. A. Sanin, Constructive Real Numbers and Constructive Functional Spaces [Book Review]

Journal of Symbolic Logic 34 (2):290-292 (1969)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271108

Links

PhilArchive



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

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

Review: I. D. Zaslavskii, E. Mendelson, Some Properties of Constructive Real Numbers and Constructive Functions. [REVIEW]Brian H. Mayoh - 1975 - Journal of Symbolic Logic 40 (3):454-454.
Étude constructive de problèmes de topologie pour les réels irrationnels.Mohamed Khalouani, Salah Labhalla & Et Henri Lombardi - 1999 - Mathematical Logic Quarterly 45 (2):257-288.
Review: N. A. Sanin, On the Constructive Interpretation of Mathematical Judgments. [REVIEW]E. M. Fels - 1966 - Journal of Symbolic Logic 31 (2):255-258.
The natural numbers in constructive set theory.Michael Rathjen - 2008 - Mathematical Logic Quarterly 54 (1):83-97.
The continuum as a formal space.Sara Negri & Daniele Soravia - 1999 - Archive for Mathematical Logic 38 (7):423-447.
Non-constructive Properties of the Real Numbers.J. E. Rubin, K. Keremedis & Paul Howard - 2001 - Mathematical Logic Quarterly 47 (3):423-431.
Review: N. A. Sanin, Some Operations on Logico-Arithmetical Formulas; N. A. Sanin, On Imbeddings of the Classical Logico-Arithmetical Calculus into the Constructive Logico-Arithmetical Calculus. [REVIEW]Andrzej Mostowski - 1954 - Journal of Symbolic Logic 19 (4):297-298.
On the formal points of the formal topology of the binary tree.Silvio Valentini - 2002 - Archive for Mathematical Logic 41 (7):603-618.
Constructive Context.John L. Bell - unknown
Constructive mathematics in theory and programming practice.Douglas Bridges & Steeve Reeves - 1999 - Philosophia Mathematica 7 (1):65-104.
Why Topology in the Minimalist Foundation Must be Pointfree.Maria Emilia Maietti & Giovanni Sambin - 2013 - Logic and Logical Philosophy 22 (2):167-199.
Review: N. A. Sanin, On the Constructive Interpretation of Mathematical Judgments; S. C. Kleene, A Formal System of Intuitionistic Analysis. [REVIEW]Georg Kreisel - 1966 - Journal of Symbolic Logic 31 (2):258-261.
Absolute Continuity and the Uniqueness of the Constructive Functional Calculus.Douglas Bridges & Hajime Ishihara - 1994 - Mathematical Logic Quarterly 40 (4):519-527.
Toward a constructive theory of unbounded linear operators.Feng Ye - 2000 - Journal of Symbolic Logic 65 (1):357-370.

Analytics

Added to PP
2013-11-22

Downloads
3 (#1,644,941)

6 months
1 (#1,444,594)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A blend of methods of recursion theory and topology.Iraj Kalantari & Larry Welch - 2003 - Annals of Pure and Applied Logic 124 (1-3):141-178.
Dual realizability in symmetric logic.I. D. Zaslavsky - 2001 - Annals of Pure and Applied Logic 113 (1-3):389-397.

Add more citations

References found in this work

No references found.

Add more references