Switch to: Citations

References in:

Some purely topological models for intuitionistic analysis

Philip Scowcroft

Annals of Pure and Applied Logic 98 (1-3):173-215 (1999)

Add references

You must login to add references.

An interpretation of intuitionistic analysis.D. van Dalen - 1978 - Annals of Mathematical Logic 13 (1):1.details Download Export citation Bookmark 27 citations
(1 other version)A Topological Model for Intuitionistic Analysis with Kripke's Scheme.M. D. Krol - 1978 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (25-30):427-436.details Download Export citation Bookmark 11 citations
A new model for intuitionistic analysis.Philip Scowcroft - 1990 - Annals of Pure and Applied Logic 47 (2):145-165.details Download Export citation Bookmark 7 citations
Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis.W. A. Howard & G. Kreisel - 1966 - Journal of Symbolic Logic 31 (3):325-358.details Download Export citation Bookmark 25 citations
(1 other version)Countable functionals.S. C. Kleene - 1959 - Journal of Symbolic Logic 27 (3):81--100.details Download Export citation Bookmark 19 citations
(1 other version)A Topological Model for Intuitionistic Analysis with Kripke's Scheme.M. D. Krol - 1978 - Mathematical Logic Quarterly 24 (25‐30):427-436.details Download Export citation Bookmark 10 citations
Sheaves and Logic.M. P. Fourman, D. S. Scott & C. J. Mulvey - 1983 - Journal of Symbolic Logic 48 (4):1201-1203.details Download Export citation Bookmark 33 citations
The Topological Models of Intuitionistic Analysis. One Counterexample.M. D. Krol & B. F. Wells - 1981 - Journal of Symbolic Logic 46 (3):660-661.details Download Export citation Bookmark 1 citation

1