Kripke models for subtheories of CZF (2009)

Titel Kripke models for subtheories of CZF
Gepubliceerd in Logic Group Preprint Series, Vol. 276, p.1-. ISSN 0929-0710.
Auteur Iemhoff, R.
Datum 2009-06
Trefwoord(en) Kripke models, constructive set theory, constructible sets, generic extensions, intuitionistic logic
Taal Engels
Type Preprint
Uitgever Department of Philosophy, Utrecht University
Samenvatting 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.
Persistent Identifier URN:NBN:NL:UI:10-1874-34086
Metadata XML
Repository Universiteit Utrecht

Ga terug naar de inhoud
Ga terug naar de site navigatie