Powell's realizability universe
After a brief introduction to the main results of Recursion Theory, we present the notion of Partial Applicative Structures (PAS). We follow that with a brief discussion of the axioms of Intuitionistic Zermelo-Fraenkel Set Theory (IZF). We then present the construction of a P -valued model of IZF wh...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | en |
| Published: |
McGill University
2006
|
| Subjects: | |
| Online Access: | http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=101645 |