|
|||||
|
|
A Weak Constructive Sequential Compactness Property and the Fan Theorem |
|
| Authors: | Bridges Douglas |
| Institution: | Department of Mathematics and Statistics, University of Canterbury, Private Bag 4800, Christchurch, New Zealand. E-mail: d.bridges{at}math.canterbury.ac.nz |
| Abstract: | |
| Keywords: | constructive sequential compactness fan theorem reverse mathematics |
| 本文献已被 Oxford 等数据库收录！ | |