Completed
Constructive reverse mathematics (CRM)
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Hajime Ishihara- Constructive Reverse Mathematics- An Introduction and Recent Results
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 Classical reverse mathematics
- 3 Classical (higher order) reverse mathematics
- 4 Bishop's constructive mathematics
- 5 Notations
- 6 Axioms of intuitionism
- 7 Consequences of the axioms
- 8 Omniscience principles
- 9 Principles weaker than Markov's principle
- 10 Relationship among principles
- 11 Constructive reverse mathematics with countable choice
- 12 Constructive reverse mathematics (CRM)
- 13 WKL for restricted trees
- 14 Conditions for DC
- 15 CRM is a multi-dimensional reverse mathematics
