The Gleason cover of a topos. I
From MaRDI portal
Publication:1145204
DOI10.1016/0022-4049(80)90100-0zbMath0445.18004OpenAlexW2090967105MaRDI QIDQ1145204
Publication date: 1980
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0022-4049(80)90100-0
topos of sheavesGleason coverDe Morgan's lawHahn-Banach theorem in a toposorder-completion of the Dedekind real numbers
Other nonclassical logic (03B60) Topoi (18B25) Extremally disconnected spaces, (F)-spaces, etc. (54G05)
Related Items (14)
Cartesian inclusion: locales and topgses∗ ⋮ The point of pointless topology ⋮ Normal semicontinuity and the Dedekind completion of pointfree function rings ⋮ The Lee identities in topoi. I ⋮ Another condition equivalent to de morgan's law ⋮ Open maps of toposes ⋮ The Gleason cover of a topos. II ⋮ Unnamed Item ⋮ A globalization of the Hahn-Banach theorem ⋮ Unnamed Item ⋮ Boolean algebras in a localic topos ⋮ On some peculiar aspects of the constructive theory of point-free spaces ⋮ Unnamed Item ⋮ Complemented sublocales and open maps
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Projective topological spaces
- The Hahn-Banach theorem in a category of sheaves
- The Gleason cover of a topos. II
- Extension of invariant linear functionals: Hahn-Banach in the topos of M- sets
- Rings, fields, and spectra
- Another condition equivalent to de morgan's law
- A Note on Projective Resolutions
- Tychonoff's theorem without the axiom of choice
- Extremally disconnected resolutions of $T_0$-spaces
- Boolean Algebras and Their Application to Topology
- Injective envelopes of Banach spaces are rigidly attached
- Topologische Projektivräume
- Extremally Disconnected Spaces
- Modules over commutative regular rings
This page was built for publication: The Gleason cover of a topos. I