Thesis
Constructive mathematics - its set theory and practice
- Abstract:
-
The thesis falls naturally into two parts, in the first of which (comprising Chapter 1) there is laid down a set-theoretic foundation for constructive mathematics as understood by Errett Bishop and his followers. The work of this part closely follows the lines of the corresponding classical development of set theory by Anthony Morse, highlights several classical definitions and results which are inadequate for a proper description of constructive mathematics, and develops constructive repl...
Expand abstract
Actions
Authors
Bibliographic Details
- Publication date:
- 1974
- Type of award:
- DPhil
- Level of award:
- Doctoral
- Awarding institution:
- University of Oxford
Item Description
- Language:
- English
- UUID:
-
uuid:89f35f60-3fe8-48ad-b4d3-b8fb65b180da
- Local pid:
- td:601894439
- Source identifiers:
-
601894439
- Deposit date:
- 2015-03-26
Terms of use
- Copyright holder:
- Sutherland Bridges, Douglas
- Copyright date:
- 1974
- Notes:
- This thesis was digitised thanks to the generosity of Dr Leonard Polonsky
Metrics
If you are the owner of this record, you can report an update to it here: Report update to this record