Elements of Intuitionistic Analysis II the Stone‐Weierstrass Theorem and Ascoli's Theorem

Mathematical Logic Quarterly 22 (1):501-508 (1976)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19760220158

Other Versions

reprint de Swart, H. (1976) "Elements of Intuitionistic Analysis II the Stone-Weierstrass Theorem and Ascoli's Theorem". Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22(1):501-508
reprint de Swart, H. (1976) "Elements of Intuitionistic Analysis. Rolle's Theorem and Complete, Totally bounded, Metric Spaces". Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22(1):289-298

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,809

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

Elements of Intuitionistic Analysis. Rolle's Theorem and Complete, Totally bounded, Metric Spaces.H. de Stewart - 1976 - Mathematical Logic Quarterly 22 (1):289-298.
Elements of Intuitionistic Analysis. Rolle's Theorem and Complete, Totally bounded, Metric Spaces.H. de Swart - 1976 - Mathematical Logic Quarterly 22 (1):289-298.
Beth definability and the Stone-Weierstrass Theorem.Luca Reggio - 2021 - Annals of Pure and Applied Logic 172 (8):102990.
A short proof of a well‐known theorem of intuitionistic analysis.Horst Luckhardt - 1975 - Mathematical Logic Quarterly 21 (1):185-186.
The Separation Theorem for Fragments of the Intuitionistic Propositional Calculus.G. Rousseau - 1970 - Mathematical Logic Quarterly 16 (8):469-474.
Set Theory INC_{∞^{#}}^{#} Based on Infinitary Intuitionistic Logic with Restricted Modus Ponens Rule (Part III).Hyper inductive definitions. Application in transcendental number theory.Jaykov Foukzon - 2021 - Journal of Advances in Mathematics and Computer Science 36 (8):43.
An Intuitionistic Version of Cantor's Theorem.Dario Maguolo & Silvio Valentini - 1996 - Mathematical Logic Quarterly 42 (1):446-448.
A Bounded Translation of Intuitionistic Propositional Logic into Basic Propositional Logic.Mojtaba Aghaei & Mohammad Ardeshir - 2000 - Mathematical Logic Quarterly 46 (2):195-206.
A Generalization of a Theorem of H. Friedman.C. Dimitracopoulos - 1985 - Mathematical Logic Quarterly 31 (14-18):221-225.

Analytics

Added to PP
2013-11-24

Downloads
23 (#937,234)

6 months
4 (#1,246,333)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Harrie De De Swart
Erasmus University Rotterdam

Citations of this work

Constructive notions of equicontinuity.Douglas S. Bridges - 2009 - Archive for Mathematical Logic 48 (5):437-448.
Validity and quantification in intuitionism.H. C. M. Swart & C. J. Posy - 1981 - Journal of Philosophical Logic 10 (1):117 - 126.
Spreads or choice sequences?H. C. M. De Swart - 1992 - History and Philosophy of Logic 13 (2):203-213.

Add more citations

References found in this work

Intuitionism.Arend Heyting - 1956 - Amsterdam,: North-Holland Pub. Co..

Add more references