Book contents
- Frontmatter
- Contents
- List of Contributors
- Preface
- Part I Introductory
- Part II Algebra and Geometry
- Part III Analysis
- Part IV Topology
- Part V Logic and Foundations
- 19 Countable Choice
- 20 The Minimalist Foundation and Bishop’s Constructive Mathematics
- 21 Identity, Equality, and Extensionality in Explicit Mathematics
- 22 Inner and Outer Models for Constructive Set Theories
- 23 An Introduction to Constructive Reverse Mathematics
- 24 Systems for Constructive Reverse Mathematics
- 25 Brouwer’s Fan Theorem
- Part VI Aspects of Computation
- Index
25 - Brouwer’s Fan Theorem
from Part V - Logic and Foundations
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
- Part V Logic and Foundations
- 19 Countable Choice
- 20 The Minimalist Foundation and Bishop’s Constructive Mathematics
- 21 Identity, Equality, and Extensionality in Explicit Mathematics
- 22 Inner and Outer Models for Constructive Set Theories
- 23 An Introduction to Constructive Reverse Mathematics
- 24 Systems for Constructive Reverse Mathematics
- 25 Brouwer’s Fan Theorem
- Part VI Aspects of Computation
- Index
Summary
- Type
- Chapter
- Information
- Handbook of Constructive Mathematics , pp. 700 - 712Publisher: Cambridge University PressPrint publication year: 2023