Concepts of general topology in constructive mathematics and in sheaves, II
From MaRDI portal
Publication:3958460
DOI10.1016/0003-4843(82)90010-9zbMath0495.03040MaRDI QIDQ3958460
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
connectedness; compactness; uniformity; topological models; constructive topology; sheaf models for topology; spaces of sections of bundles
03C99: Model theory
54E15: Uniform structures and generalizations
03F65: Other constructive mathematics
03C90: Nonclassical models (Boolean-valued, sheaf, etc.)
18F20: Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects)
03F55: Intuitionistic mathematics
55R99: Fiber spaces and bundles in algebraic topology
Related Items
Heyting valued considerations on some fundamental existence theorems in modern analysis, Unique existence, approximate solutions, and countable choice., Heyting valued set theory and Sato hyperfunctions, Quasi-apartness and neighbourhood spaces, Almost locatedness in uniform spaces, The point of pointless topology