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
18 - Apartness on Lattices and Between Sets
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
- Type
- Chapter
- Information
- Handbook of Constructive Mathematics , pp. 483 - 512Publisher: Cambridge University PressPrint publication year: 2023