Ordinal analysis of set theories : relativised and intuitionistic
In the early 1980s, the forum of ordinal analysis switched from analysing subsystems of second order arithmetic and theories of inductive definitions to set theories. The new results were much more uniform and elegant than their predecessors. This thesis uses techniques for the ordinal analysis of se...
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
University of Leeds
2015
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.666579 |