Partiality and Choice : Foundational Contributions
The subject of the thesis is foundational aspects of partial functions (Papers 1, 2 & 4) and some choice principles (Papers 3 & 4) in the context of constructive mathematics. Paper 1 studies the inversion functions of commutative rings. The foundational problem of having them only pa...
| Main Author: | |
|---|---|
| Format: | Doctoral Thesis |
| Language: | English |
| Published: |
Stockholms universitet, Matematiska institutionen
2005
|
| Subjects: | |
| Online Access: | http://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-475 http://nbn-resolving.de/urn:isbn:91-7155-020-8 |