scientific article
From MaRDI portal
Publication:3693527
zbMath0575.03041MaRDI QIDQ3693527
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
continuitytopos of sheavesmeaninglocal compactnesslocal choiceBeth treescategory of separable localesopen cover topology
Philosophical and critical aspects of logic and foundations (03A05) Categorical logic, topoi (03G30) Topoi (18B25) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20)
Related Items
A constructive manifestation of the Kleene-Kreisel continuous functionals, Synthetic topology in Homotopy Type Theory for probabilistic programming, A sheaf-theoretic foundation for nonstandard analysis, Derived rules for predicative set theory: an application of sheaves, Another proof of the intuitionistic Ramsey theorem, Unnamed Item, Higher order functions and Brouwer’s thesis
