Book contents
- Frontmatter
- Contents
- List of Contributors
- Preface
- Part I Introductory
- Part II Algebra and Geometry
- Part III Analysis
- Part IV Topology
- 14 Bases of Pseudocompact Bishop Spaces
- 15 Bishop Metric Spaces in Formal Topology
- 16 Subspaces in Pointfree Topology: Towards a New Approach to Measure Theory
- 17 Synthetic Topology
- 18 Apartness on Lattices and Between Sets
- Part V Logic and Foundations
- Part VI Aspects of Computation
- Index
14 - Bases of Pseudocompact Bishop Spaces
from Part IV - Topology
Published online by Cambridge University Press: 04 May 2023
- Frontmatter
- Contents
- List of Contributors
- Preface
- Part I Introductory
- Part II Algebra and Geometry
- Part III Analysis
- Part IV Topology
- 14 Bases of Pseudocompact Bishop Spaces
- 15 Bishop Metric Spaces in Formal Topology
- 16 Subspaces in Pointfree Topology: Towards a New Approach to Measure Theory
- 17 Synthetic Topology
- 18 Apartness on Lattices and Between Sets
- Part V Logic and Foundations
- Part VI Aspects of Computation
- Index
Summary
![Image of the first page of this content. For PDF version, please use the ‘Save PDF’ preceeding this image.'](https://static.cambridge.org/content/id/urn%3Acambridge.org%3Aid%3Abook%3A9781009039888/resource/name/firstPage-9781316510865c14_359-394.jpg)
- Type
- Chapter
- Information
- Handbook of Constructive Mathematics , pp. 359 - 394Publisher: Cambridge University PressPrint publication year: 2023
- 2
- Cited by