Book contents
- Frontmatter
- Contents
- List of Contributors
- Preface
- Part I Introductory
- Part II Algebra and Geometry
- 4 Algebra in Bishop’s style: A Course in Constructive Algebra
- 5 Constructive Algebra: The Quillen–Suslin Theorem
- 6 Constructive Algebra and Point-Free Topology
- 7 Constructive Projective Geometry
- Part III Analysis
- Part IV Topology
- Part V Logic and Foundations
- Part VI Aspects of Computation
- Index
7 - Constructive Projective Geometry
from Part II - Algebra and Geometry
Published online by Cambridge University Press: 04 May 2023
- Frontmatter
- Contents
- List of Contributors
- Preface
- Part I Introductory
- Part II Algebra and Geometry
- 4 Algebra in Bishop’s style: A Course in Constructive Algebra
- 5 Constructive Algebra: The Quillen–Suslin Theorem
- 6 Constructive Algebra and Point-Free Topology
- 7 Constructive Projective Geometry
- Part III Analysis
- Part IV Topology
- Part V Logic and Foundations
- Part VI Aspects of Computation
- Index
Summary
- Type
- Chapter
- Information
- Handbook of Constructive Mathematics , pp. 168 - 198Publisher: Cambridge University PressPrint publication year: 2023