Closed subsets in Bishop topological groups
From MaRDI portal
Publication:2084948
DOI10.1016/j.tcs.2022.09.004OpenAlexW3135426501MaRDI QIDQ2084948
Publication date: 14 October 2022
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2103.04718
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A constructive manifestation of the Kleene-Kreisel continuous functionals
- Reflections on function spaces
- Two subcategories of apartness spaces
- A constructive and functorial embedding of locally compact metric spaces into locales
- Topological groups and related structures
- A course in constructive algebra
- Relating Bishop's function spaces to neighbourhood spaces
- Algebras of complemented subsets
- Functions of Baire class one over a Bishop topology
- Borel and Baire sets in Bishop spaces
- Commutative algebra: constructive methods. Finite projective modules. Translated from the French by Tania K. Roblot
- Quotient topologies in constructive set theory and type theory
- Quasi-apartness and neighbourhood spaces
- Apartness and Uniformity
- Completely Regular Bishop Spaces
- Metrization of the One-Point Compactification
- Constructive set theory
- On the regular extension axiom and its variants
- A constructive function-theoretic approach to topological compactness
- Countable Choice as a Questionable Uniformity Principle
- Direct spectra of Bishop spaces and their limits
- Proof-relevance in Bishop-style constructive mathematics
- Embeddings of Bishop spaces
- The Urysohn Extension Theorem for Bishop Spaces
- A theorem of Stone-Čech type, and a theorem of Tychonoff type, without the axiom of choice; and their realcompact analogues
- Constructive measure theory
- Bases of Pseudocompact Bishop Spaces
This page was built for publication: Closed subsets in Bishop topological groups
