The unprovability in intuitionistic formal systems of the continuity of effective operations on the reals
Journal of Symbolic Logic 41 (1):18-24 (1976)
|Abstract||This article has no associated abstract. (fix it)|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
Principles of Continuous Choice and Continuity of Functions in Formal Systems for Constructive Mathematics.Michael J. Beeson - 1977 - Annals of Mathematical Logic 12 (3):249-322.
Recursive Models for Constructive Set Theories.M. Beeson - 1982 - Annals of Mathematical Logic 23 (2-3):127-178.
Effective Inseparability in a Topological Setting.Dieter Spreen - 1996 - Annals of Pure and Applied Logic 80 (3):257-275.
Recursive Models for Constructive Set Theories.N. Beeson - 1982 - Annals of Pure and Applied Logic 23 (2):127.
Similar books and articles
A Negationless Interpretation of Intuitionistic Theories. I.Victor N. Krivtsov - 2000 - Erkenntnis 64 (1-2):323-344.
Isomorphisms Between HEO and HROE, ECF and ICFE.Marc Bezem - 1985 - Journal of Symbolic Logic 50 (2):359 - 371.
Subclasses of the Weakly Random Reals.Johanna N. Y. Franklin - 2010 - Notre Dame Journal of Formal Logic 51 (4):417-426.
Church's Thesis, Continuity, and Set Theory.M. Beeson & A. Ščedrov - 1984 - Journal of Symbolic Logic 49 (2):630-643.
Derived Rules of Inference Related to the Continuity of Effective Operations.Michael J. Beeson - 1976 - Journal of Symbolic Logic 41 (2):328-336.
The Nonderivability in Intuitionistic Formal Systems of Theorems on the Continuity of Effective Operations.Michael J. Beeson - 1975 - Journal of Symbolic Logic 40 (3):321-346.
Added to index2009-01-28
Total downloads18 ( #269,295 of 2,164,580 )
Recent downloads (6 months)1 ( #347,948 of 2,164,580 )
How can I increase my downloads?