| Title | Kripke models for subtheories of CZF |
|---|---|
| Published in | Logic Group Preprint Series, Vol. 276, p.1-22. ISSN 0929-0710. |
| Author | Iemhoff, R. |
| Date | 2009-06 |
| Language | English |
| Type | preprint |
| Publisher | Department of Philosophy, Utrecht University |
| Abstract | In this paper a method to construct Kripke models for subtheories of constructive set theory is introduced that uses constructions from classical model theory such as constructible sets and generic extensions. Under the main construction all axioms except the collection axioms can be shown to hold in the constructed Kripke model. It is shown that by carefully choosing the classical models various instances of the collection axioms, such as exponentiation, can be forced to hold as well. The paper does not contain any deep results. It consists of first observations on the subject, and is meant to introduce some notions that could serve as a foundation for further research. |
| Publication | http://igitur-archive.library.uu.nl/ph/2009-0623-200449/UUin... |
| Persistent Identifier | URN:NBN:NL:UI:10-1874-34086 |
| Metadata | XML |
| Repository | Utrecht University |
Go to page top
Go back to contents
Go back to site navigation