Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
Kripke models for subtheories of CZF Rosalie Iemhoff∗ Abstract In this paper a method to construct Kripke models for subtheories of constructive set theory is introduced that uses constructions from classical
Add to Reading List
Document Date: 2009-06-05 05:28:48
Open Document
File Size: 234,31 KB
Share Result on Facebook
Kripke models for subtheories of CZF Rosalie Iemhoff∗ Abstract In this paper a method to construct Kripke models for subtheories of constructive set theory is introduced that uses constructions from classical