scientific article; zbMATH DE number 7082967
From MaRDI portal
Publication:5224157
zbMath1436.03313MaRDI QIDQ5224157
Publication date: 19 July 2019
Full work available at URL: http://logicandanalysis.org/index.php/jla/article/download/339/150
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (5)
Proof-relevance in Bishop-style constructive mathematics ⋮ Direct spectra of Bishop spaces and their limits ⋮ Unnamed Item ⋮ Closed subsets in Bishop topological groups ⋮ Functions of Baire class one over a Bishop topology
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A predicative completion of a uniform space
- Uniform spaces and measures
- Relating Bishop's function spaces to neighbourhood spaces
- Intuitionism and proof theory. Proceedings of the summer conference at Buffalo N. Y. 1968
- Quasi-topologies
- Constructive set theory
- Constructive Mathematics in Theory and Programming Practice
- On the regular extension axiom and its variants
- A constructive function-theoretic approach to topological compactness
- Embeddings of Bishop spaces
- Localic completion of uniform spaces
- Category Theory
- Reuniting the antipodes---constructive and nonstandard views of the continuum. Symposium proceedings, San Servolo, Venice, Italy, May 16--22, 1999
This page was built for publication: