Concepts of general topology in constructive mathematics and in sheaves, II

DOI10.1016/0003-4843(82)90010-9zbMath0495.03040OpenAlexW2005532345MaRDI QIDQ3958460

Robin J. Grayson

Publication date: 1982

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

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

zbMATH Keywords

connectednesscompactnessuniformitytopological modelsconstructive topologysheaf models for topologyspaces of sections of bundles

Mathematics Subject Classification ID

Model theory (03C99) Uniform structures and generalizations (54E15) Other constructive mathematics (03F65) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Intuitionistic mathematics (03F55) Fiber spaces and bundles in algebraic topology (55R99)

Related Items (7)

The point of pointless topology ⋮ Heyting valued considerations on some fundamental existence theorems in modern analysis ⋮ Reflections on function spaces ⋮ Unique existence, approximate solutions, and countable choice. ⋮ Quasi-apartness and neighbourhood spaces ⋮ Almost locatedness in uniform spaces ⋮ Heyting valued set theory and Sato hyperfunctions

This page was built for publication: Concepts of general topology in constructive mathematics and in sheaves, II