Achieving completeness: from constructive set theory to large cardinals
This thesis is an exploration of several completeness phenomena, both in the constructive and the classical settings. After some introductory chapters in the first part of the thesis where we outline the background used later on, the constructive part contains a categorical formulation of several co...
| Main Author: | |
|---|---|
| Format: | Doctoral Thesis |
| Language: | English |
| Published: |
Stockholms universitet, Matematiska institutionen
2016
|
| Online Access: | http://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-130537 http://nbn-resolving.de/urn:isbn:978-91-7649-458-5 |