Concepts of general topology in constructive mathematics and in sheaves

DOI10.1016/0003-4843(81)90010-3zbMath0458.03015OpenAlexW4213027913MaRDI QIDQ3907554

Robin J. Grayson

Publication date: 1981

Published in: Annals of Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0003-4843(81)90010-3

zbMATH Keywords

topological modelsconstructive topologyHeyting-valued modelsintuitionistic continuity principleshigher- order intuitionistic logicintuitionistic reals

Mathematics Subject Classification ID

Compactness (54D30) Connected and locally connected spaces (general aspects) (54D05) Lower separation axioms ((T_0)--(T_3), etc.) (54D10) Higher separation axioms (completely regular, normal, perfectly or collectionwise normal, etc.) (54D15) Other constructive mathematics (03F65) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Intuitionistic mathematics (03F55)

Related Items

The Urysohn Extension Theorem for Bishop Spaces, Glueing of analysis models in an intuitionistic setting, Heyting valued considerations on some fundamental existence theorems in modern analysis, Reflections on function spaces, Unnamed Item, Quasi-apartness and neighbourhood spaces, Heyting valued set theory and Sato hyperfunctions, Global intuitionistic analysis, Sheaf models for choice sequences