Automorphisms of partial combinatory algebras and realizability models of constructive set theory
In this thesis we investigate automorphisms of partial combinatory algebras and construct realizability models of constructive set theory. After some introductory and background material in chapters 1 and 2, we define in chapter 3 a generalisation of Kripke and realizability models of intuitionistic...
| Main Author: | |
|---|---|
| Published: |
University of Leeds
2012
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.590459 |